[Eclipse Theia] [GitHub] Enable "Require branches to be up to date before merging" option

Summary

Hi,

Can you enable the "Require branches to be up to date before merging" option for our main repo?

repo: https://github.com/eclipse-theia/theia

The option can be found in the project's settings, under the "branches" side menu.

Thanks! Marc

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

Priority

• Urgent
• High
• Medium
• Low

Severity

• Blocker
• Major
• Normal
• Low

Impact

N/A