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.
we haven't used azure for a while
AFAIK
I've removed them.
Last updated: Nov 29 2023 at 18:01 UTC