Enrico Tassi (Sep 30 2021 at 14:56): Enrico Tassi (Sep 30 2021 at 14:56):At the bottom of bug reports I see Show your support for coq by sponsoring them. and if I click it I get to a setup page where I see @Matthieu Sozeau email. Is this thing really set up? Does it work?
Gaëtan Gilbert (Sep 30 2021 at 15:06):I think that's just the "billing email" field from https://github.com/organizations/coq/settings/profile
Théo Zimmermann (Sep 30 2021 at 16:28):I think this is not setup and just a weird way of encouraging us (administrators) to set it up. I wonder if people with write-access but not admin-access see it.
Théo Winterhalter (Sep 30 2021 at 16:30):If it's supposed to be on https://github.com/coq/coq/issues or in any issue then I don't see it.
Théo Zimmermann (Sep 30 2021 at 17:19):Yeah, that appears at the bottom of every issue to us.
Théo Zimmermann (Sep 30 2021 at 17:20):Thanks for confirming!
Théo Zimmermann (Sep 30 2021 at 17:22):Oh but you don't actually have write-access to the repository, yet! I've invited you to join the "Contributors" team.
Théo Zimmermann (Sep 30 2021 at 17:24):Hum, and feel free to not accept the invitation if you don't want to. (There is one known drawback to joining this team, which is having to be careful not to accidentally push new branches to the main repository.)
Matthieu Sozeau (Sep 30 2021 at 17:40):I had no idea about this link
Théo Winterhalter (Sep 30 2021 at 17:42):Théo Zimmermann said:
Oh but you don't actually have write-access to the repository, yet! I've invited you to join the "Contributors" team.
Thanks. I still don't see it on https://github.com/coq/coq/issues/14962 for instance.
I'll be careful not to push branches.
Théo Winterhalter (Sep 30 2021 at 17:42):But you can also remove me if you want.
Théo Zimmermann (Sep 30 2021 at 18:12):You are welcome to stay in the team. That can sometimes be useful to triage issues.
Enrico Tassi (Sep 30 2021 at 19:24):Maybe we can set this up for real. CC @Yves Bertot @Maxime Dénès
Enrico Tassi (Sep 30 2021 at 19:25):FYI https://github.com/sponsors
Last updated: Apr 18 2024 at 22:02 UTC