A few days ago you noticed that I keep adding SSH deploy keys to the VsCoq repo. The better alternative is fine-grained personal access tokens, but you have to enable them in the coq-community organization. Could anyone please do that? Screenshot-from-2022-11-18-01-24-14.png
The next step in the wizard will ask you to choose whether to require approval or not. Since I always delete the token when I'm done pushing, you should choose not to require approval. Screenshot-from-2022-11-18-01-27-36.png
This topic was moved to #coq-community devs & users > Enable fine-grained access tokens by Théo Zimmermann.
Last updated: Jan 30 2023 at 19:04 UTC