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: Oct 12 2024 at 13:01 UTC