diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2020-02-24 07:44:17 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-02-24 07:44:17 -0700 |
| commit | 9f7cb920aaa7e77ece254c3ae52ee6c96fc8386b (patch) | |
| tree | 3a0bb6e51016846fcd97c5b915c114cc843b676d /hooks | |
| parent | d237dc0ec18d886855a4427d2113e6fbbe27d106 (diff) | |
| download | dotfiles-9f7cb920aaa7e77ece254c3ae52ee6c96fc8386b.tar.gz | |
pre-push: let dgit pushes through
Diffstat (limited to 'hooks')
| -rwxr-xr-x | hooks/git/pre-push_signed-off-by | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hooks/git/pre-push_signed-off-by b/hooks/git/pre-push_signed-off-by index eab1902c..e07cd406 100755 --- a/hooks/git/pre-push_signed-off-by +++ b/hooks/git/pre-push_signed-off-by @@ -15,6 +15,9 @@ while read local_ref local_sha remote_ref remote_sha; do elif echo "$remote_ref" | grep -Eq "^refs/heads/(wip|tmp)/"; then # wip/ branches may contain commits which are not signed off : + elif echo "$remote_ref" | grep -Eq "^refs/dgit/"; then + # let's not interfere with a dgit push + : elif echo "$remote_ref" | grep -Eq "^refs/tags/(archive/)?debian"; then # let Debian upload tags through : |