On 12/11/2025 08:38, Piotr P. Karwasz wrote:
I’m not sure if the lack of replies means tacit agreement or if my
previous message got missed. Are there any objections to introducing the
above rules?
I suspect that since you replied to a commit mail, the threading made
the message more difficult to notice.
They only prevent deletion and force pushes on the `master` branch.
+1 to preventing master branch deletion.
-0 to preventing force pushes. We all know it's bad and we should avoid
it, but it may be useful in rare occasions. I wouldn't take away that
tool unless it's abused.
This configuration enables GitHub’s *auto-merge* feature, allowing PRs
to be merged automatically once all required CI checks succeed.
-0, PRs may become unmergeable due to an unrelated temporary CI issue.
I'd leave that to the dev appreciation.
Emmanuel Bourg
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
