diff options
-rwxr-xr-x | hooks/update | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/hooks/update b/hooks/update index 517dc47..63b33e7 100755 --- a/hooks/update +++ b/hooks/update @@ -40,8 +40,6 @@ CHANNEL=$(mktemp -d 2>/dev/null || mktemp -d -t "channel") for ref in $(guix environment --ad-hoc git -- git rev-list --reverse $span) do - # If there is not already a note on the refs/notes/dist ref, then we - # should run the CI. >&2 echo "Checking new commit $ref." if test "x$ref" = "x0e29ddc3c41870e14da87770a429a94f80dd4110" then |