Stream: VsCoq devs & users

Topic: Enable fine-grained access tokens


view this post on Zulip Huỳnh Trần Khanh (Nov 18 2022 at 01:26):

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

view this post on Zulip Huỳnh Trần Khanh (Nov 18 2022 at 01:29):

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

view this post on Zulip Notification Bot (Nov 18 2022 at 08:58):

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