Stream: coqbot devs & users

Topic: Branches on coq/coq

view this post on Zulip Gaëtan Gilbert (Jun 28 2021 at 13:16):

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

view this post on Zulip 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: Apr 19 2024 at 19:02 UTC