|
From: | Ludovic Courtès |
Subject: | [sr #110939] Adding push hook for Guix |
Date: | Mon, 2 Oct 2023 17:23:53 -0400 (EDT) |
URL: <https://savannah.nongnu.org/support/?110939> Summary: Adding push hook for Guix Group: Savannah Administration Submitter: civodul Submitted: Mon 02 Oct 2023 11:23:51 PM CEST Category: Source code repositories - developer access Priority: 5 - Normal Severity: 3 - Normal Status: None Assigned to: None Originator Email: Operating System: None Open/Closed: Open Discussion Lock: Any _______________________________________________________ Follow-up Comments: ------------------------------------------------------- Date: Mon 02 Oct 2023 11:23:51 PM CEST By: Ludovic Courtès <civodul> Hello! Could we have a Git push hook for Guix that would run these two commands (or something to that effect): wget --post-data="" -O/dev/null https://ci.guix.gnu.org/jobset/guix/hook/evaluate wget --post-data="" -O/dev/null https://ci.guix.gnu.org/jobset/$BRANCH/hook/evaluate This will trigger continuous integration. Thanks in advance! _______________________________________________________ Reply to this item at: <https://savannah.nongnu.org/support/?110939> _______________________________________________ Message sent via Savannah https://savannah.nongnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |