[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

Impact

assigned to @pstankie

added IT-prioritylow IT-severitylow ~16280 statewip labels

Require branches to be up to date before merging option for master branch unchecked

closed

removed statewip label