tree c584bd714fed399fa1579b3977f038a9850838fe
parent 027dfc2df052162df5a1868315be74ed7f4869dc
author Luca Milanesio <luca.milanesio@gmail.com> 1689199316 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1689271086 +0100

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