Skip to content

The main branch is no more than 5 commits ahead #491

Open
@viktoriia-fomina

Description

@viktoriia-fomina

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

Labels

Type

No type

Projects

Status

Todo

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions