mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2026-07-04 18:04:04 +02:00
80ebcdd100
* etc/git/pre-push: Exit early when deleting a branch.