commit | ada956afbca17a3672e8eb973ec9313fae6edca4 | [log] [tgz] |
---|---|---|
author | Luca Milanesio <luca.milanesio@gmail.com> | Wed Jul 12 23:01:56 2023 +0100 |
committer | Luca Milanesio <luca.milanesio@gmail.com> | Thu Jul 13 18:58:06 2023 +0100 |
tree | c584bd714fed399fa1579b3977f038a9850838fe | |
parent | 027dfc2df052162df5a1868315be74ed7f4869dc [diff] |
Allow update head with Fetch replication global capability If a user has been granted the global capability to run pull replication, then it should also be able to update the project head, otherwise the replication would be interrupted when the project's head default branch is updated. Change-Id: I6fa89490e406a7b966ab8e89c173e5bb47271745