[Eclipse Theia] [GitHub] Modify "Require branches to be up to date before merging" option:
Summary
This is a follow-up to #2846 (closed)
After trying the feature for a month, the Eclipse Theia committers have decided that the friction introduced in certain reviews is not worth it. We would like to try a less constricting option.
repo: https://github.com/eclipse-theia/theia
In the repo's master branch GitHub settings, can you un-check the "Require branches to be up to date before merging" option? Like so:
Steps to reproduce
N/A
What is the current bug behavior?
N/A
What is the expected correct behavior?
N/A
Relevant logs and/or screenshots
(Add a link to or paste any relevant logs - please use code blocks (```) to format console output, logs, and code, as it's very hard to read otherwise.)
Priority
-
Urgent -
High -
Medium -
Low
Severity
-
Blocker -
Major -
Normal -
Low