pagure

#3147 Change the lock name based on the git repo touched
Merged by pingou. Opened by pingou.
project_locks  into  master

Download 3147.patch

This should help speeding things up as it would allow merging a PR while
the ticket git repo is being updated.

Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr

rebased onto 5218d0774dc51a3aede74829b81de53e465fd379

Looks good to me.

rebased onto 09776ef1eb04ffb66dfadb1d967a067ce5a57a99

@puiterwijk approved on IRC the changed I pushed.

Waiting on jenkins and I'll merge :)

Pull-Request has been merged by pingou
Metadata
None
No Tags
Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.
Red Hat Logo

Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »

© Red Hat, Inc. and others.