Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

viktoriia-fomina
Copy link
Member

@viktoriia-fomina viktoriia-fomina commented Jul 11, 2022

Description

Now we check on PR if the current branch is no more than 5 commits behind the main branch. If it's not true, pipeline fails and the developer cannot merge into the main branch.

Fixes #491

Type of Change

  • New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Automated Testing

Not applicable.

Manual Scenario

Checklist (remove irrelevant options):

  • The change followed the style guidelines of the UTBot project
  • Self-review of the code is passed
  • The change contains enough commentaries, particularly in hard-to-understand areas
  • New documentation is provided or existed one is altered
  • No new warnings
  • Tests that prove my change is effective
  • All tests pass locally with my changes

@viktoriia-fomina viktoriia-fomina marked this pull request as ready for review July 11, 2022 17:28
It's removed from steps with single commands
@denis-fokin denis-fokin marked this pull request as draft December 15, 2022 13:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

The main branch is no more than 5 commits ahead
1 participant