Stream: coq-community devs & users

Topic: webhooks


view this post on Zulip 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)

view this post on Zulip Karl Palmskog (Jul 21 2020 at 18:56):

I have no idea about this, but @Théo Zimmermann might have...

view this post on Zulip 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?

view this post on Zulip Karl Palmskog (Jul 21 2020 at 20:31):

OK sure

view this post on Zulip Karl Palmskog (Jul 21 2020 at 20:41):

@Jason Gross you should be admin now

view this post on Zulip 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: Feb 04 2023 at 02:03 UTC