Jason Gross (Jul 21 2020 at 18:18): Jason Gross (Jul 21 2020 at 18:18):How do I set up and manage webhooks on coq-community repos (specifically, I want to manage the webhooks on run-coq-bug-minimizer, though I suppose it's not all that important)
Karl Palmskog (Jul 21 2020 at 18:56):I have no idea about this, but @Théo Zimmermann might have...
Théo Zimmermann (Jul 21 2020 at 20:28):You can do this as long as your an admin of a repo. @Karl Palmskog can you make @Jason Gross an admin of the repo he just transferred?
Karl Palmskog (Jul 21 2020 at 20:31):OK sure
Karl Palmskog (Jul 21 2020 at 20:41):@Jason Gross you should be admin now
Karl Palmskog (Jul 21 2020 at 20:42):(I also went through the list of coq-community repos and made sure people who are maintainers were also admins)
Last updated: Jun 03 2023 at 17:29 UTC