Théo Zimmermann (Dec 05 2022 at 09:01): 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.
Gaëtan Gilbert (Dec 05 2022 at 09:53):we haven't used azure for a while
Gaëtan Gilbert (Dec 05 2022 at 09:53):AFAIK
Théo Zimmermann (Dec 07 2022 at 14:26):I've removed them.
Last updated: Sep 09 2024 at 05:02 UTC