Ludovic Courtès <[email protected]> writes:
Hello Guix!
As you might have noticed, there’s now rudimentary continuous
integration (CI) for pull requests (PRs)
...
Questions? Ideas? Patches?
Ludo’.
Exciting news!
Two pieces of feedback:
- The post mentions three domain names - pulls.ci.gnu.org,
pulls.ci.guix.org, and pulls.ci.guix.gnu.org - and it appears to
me that only the last of these is live.
- Browsing the UI, I see lots of widgets with menu options that
seem potentially destructive: "Edit", "Cancel pending builds",
etc. Is it possible that admin ACLs are too broad? (I didn't
actually click on any of these to find out.)
Cheers,
Jason
