Oltre a modificare l'URL push in qualcosa di non valido (ad esempio, git remote set-url --push origin DISABLED
), si può anche usare l' pre-push
hook.
Un modo rapido per interrompere git push
è /usr/bin/false
il collegamento simbolico per essere il gancio:
$ ln -s /usr/bin/false .git/hooks/pre-push
$ git push
error: failed to push some refs to '...'
L'uso di un gancio consente un controllo più preciso delle spinte, se desiderato. Vedi .git/hooks/pre-push.sample
un esempio di come impedire il commit dei work-in-progress.
Per impedire la spinta a un ramo specifico o limitare la spinta a un ramo singolo, questo in un gancio di esempio:
$ cat .git/hooks/pre-push
#!/usr/bin/sh
# An example hook script to limit pushing to a single remote.
#
# This hook is called with the following parameters:
#
# $1 -- Name of the remote to which the push is being done
# $2 -- URL to which the push is being done
#
# If this script exits with a non-zero status nothing will be pushed.
remote="$1"
url="$2"
[[ "$remote" == "origin" ]]
Un repository di prova con più telecomandi:
$ git remote -v
origin ../gitorigin (fetch)
origin ../gitorigin (push)
upstream ../gitupstream (fetch)
upstream ../gitupstream (push)
Spingere verso origin
è permesso:
$ git push origin
Enumerating objects: 3, done.
Counting objects: 100% (3/3), done.
Writing objects: 100% (3/3), 222 bytes | 222.00 KiB/s, done.
Total 3 (delta 0), reused 0 (delta 0)
To ../gitorigin
* [new branch] master -> master
Non è consentito premere su nessun altro telecomando:
$ git push upstream
error: failed to push some refs to '../gitupstream'
Si noti che lo pre-push
script hook può essere modificato, tra le altre cose, per stampare un messaggio su stderr dicendo che il push è stato disabilitato.