Théo Zimmermann (Dec 02 2022 at 10:11): Théo Zimmermann (Dec 02 2022 at 10:11):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.
Yishuai Li (Dec 02 2022 at 15:18):Please proceed at will. I'm not utilizing Slack for my current job.
Karl Palmskog (Dec 02 2022 at 15:26):@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.
Théo Zimmermann (Dec 05 2022 at 08:55):Done
Last updated: Jun 07 2023 at 00:01 UTC