Stream: Coq devs & plugin devs

Topic: GitHub App permission review


view this post on Zulip Théo Zimmermann (Dec 05 2022 at 09:01):

I'm looking at the GitHub Apps installed on the Coq organization with the idea of revoking permissions for any that we do not use anymore. Here is the list of Apps that I propose to remove. Let me know if we should keep any:

I've also proceeded to remove Travis CI, which was only installed on coq/coq-bench, which is already archived.

view this post on Zulip Gaëtan Gilbert (Dec 05 2022 at 09:53):

we haven't used azure for a while

view this post on Zulip Gaëtan Gilbert (Dec 05 2022 at 09:53):

AFAIK

view this post on Zulip Théo Zimmermann (Dec 07 2022 at 14:26):

I've removed them.


Last updated: Feb 06 2023 at 19:03 UTC