[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[sr #110939] Adding push hook for Guix
From: |
Ludovic Courtès |
Subject: |
[sr #110939] Adding push hook for Guix |
Date: |
Sun, 8 Oct 2023 16:31:16 -0400 (EDT) |
Follow-up Comment #5, sr #110939 (project administration):
Hello!
> That's never needed for that assignment which is internal to the shell and
therefore does not ever do word splitting. I understand the paranoia though.
Sometimes the universe is actually out to get you! :-)
Heh, right! :-)
I now realize there are a few additional repos that could use a similar hook,
namely, for guix/guix-cuirass.git, guix/mumi.git, guile.git, skribilo.git, and
shepherd.git, with one line like:
wget --post-data="" -O/dev/null -q
https://ci.guix.gnu.org/jobset/PROJECT/hook/evaluate && echo "Triggered
ci.guix.gnu.org."
where PROJECT is the name of the repo, except for: "guix/guix-cuirass" (should
map to "cuirass") and "guix/mumi" (should map to "mumi").
Could you add these as well?
Thanks for your help!
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/support/?110939>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/