Hi @Yishuai Li :wave:
We currently have the Slack GitHub App set on the coq-community/coq-ext-lib and coq-community/reduction-effects repositories and the app is requesting new permissions (Read and write access to Actions). Before granting these new permissions, we wanted to check with you if this is still used, otherwise we could disable the app.
Please proceed at will. I'm not utilizing Slack for my current job.
@Théo Zimmermann then I'd vote for disabling/removing the Slack app. I think we can say that people can request to add apps like this, but we will check periodically if still needed.
Last updated: Jun 07 2023 at 00:01 UTC