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?
I think that's just the "billing email" field from https://github.com/organizations/coq/settings/profile
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.
If it's supposed to be on https://github.com/coq/coq/issues or in any issue then I don't see it.
Yeah, that appears at the bottom of every issue to us.
Thanks for confirming!
Oh but you don't actually have write-access to the repository, yet! I've invited you to join the "Contributors" team.
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.)
I had no idea about this link
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.
But you can also remove me if you want.
You are welcome to stay in the team. That can sometimes be useful to triage issues.
Maybe we can set this up for real. CC @Yves Bertot @Maxime Dénès
FYI https://github.com/sponsors
Last updated: Oct 13 2024 at 01:02 UTC