Open
Description
Description
The main branch can be ahead of the PRs' branch. If the main branch is many commits ahead of the PR's branch it can lead to some troubles. The major one of them is that changes in the main branch with the changes from the PR's branch can lead to the incorrect behavior in UTBot.
Expected behavior
Developers can't merge into the main if their branches are more that 5 commits behind it.
Environment
GitHub Actions
Potential alternatives
No alternatives.
Context
Not applicable.
Metadata
Metadata
Assignees
Type
Projects
Status
Todo