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)
I have no idea about this, but @Théo Zimmermann might have...
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?
@Jason Gross you should be admin now
(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