Stream: Coq devs & plugin devs

Topic: Coq sponsoring banner


view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Sep 30 2021 at 17:19):

Yeah, that appears at the bottom of every issue to us.

view this post on Zulip Théo Zimmermann (Sep 30 2021 at 17:20):

Thanks for confirming!

view this post on Zulip 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.

view this post on Zulip 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.)

view this post on Zulip Matthieu Sozeau (Sep 30 2021 at 17:40):

I had no idea about this link

view this post on Zulip 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.

view this post on Zulip Théo Winterhalter (Sep 30 2021 at 17:42):

But you can also remove me if you want.

view this post on Zulip 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.

view this post on Zulip Enrico Tassi (Sep 30 2021 at 19:24):

Maybe we can set this up for real. CC @Yves Bertot @Maxime Dénès

view this post on Zulip Enrico Tassi (Sep 30 2021 at 19:25):

FYI https://github.com/sponsors


Last updated: Feb 06 2023 at 19:03 UTC