diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-09-27 22:43:08 +0200 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-01 12:32:20 +0200 |
commit | 32bcd81e8b41e2b57f024a8ff43ce2179a19c720 (patch) | |
tree | a654478d2e0672d798d54d44418376995714aedd | |
parent | 6eea60849411643532979d35430ec50f3acb2eae (diff) |
Update hook: I don’t store artifacts on git notes anymore
-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 |