Stream: coqbot devs & users

Topic: Branches on coq/coq

Gaëtan Gilbert (Jun 28 2021 at 13:16):

Can we get the bot to auto-close these unauthorized branches?

Théo Zimmermann (Jun 28 2021 at 15:52):

Yes, that's easy to do. What has stopped me is just that it may be a bit harsh on the contributor, especially if this means that the code change is hard to retrieve.

Last updated: Jan 31 2023 at 11:01 UTC