diff options
-rwxr-xr-x | hooks/update | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/hooks/update b/hooks/update index 63b33e7..6dfa013 100755 --- a/hooks/update +++ b/hooks/update @@ -21,6 +21,13 @@ oldrev="$2" newrev="$3" zero=$(guix environment --ad-hoc git -- git hash-object --stdin </dev/null | tr '[0-9a-f]' '0') span="^$oldrev $newrev" + +if test "x$refname" != "xrefs/heads/master" +then + >&2 echo "No CI for $refname, it’s not master" + exit 0 +fi + if test "x$oldrev" = "x$zero" then >&2 echo "Creating a new branch, $refname..." |