On Fri, Apr 17, 2020 at 01:31:04PM +0000, Volker Hilsheimer wrote:
To clarify, we don’t “disable merging”, we turn off the bot. People
with the privilege to push merge commits can in theory continue to do
so forever.
yes, but mixing merges and cherry-picks is, and remains, bad. why do you
artificially create a situation where just that happens _by design_? i
don't buy the effort argument - i'm sure the bots can be reconfigured
within a few minutes.
_______________________________________________
Development mailing list
Development@qt-project.org
https://lists.qt-project.org/listinfo/development
