Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[Feature Request] Protected Branch: Only Merge if PR is 0 Cmmits Behind BaseBranch #9816

Closed
6543 opened this issue Jan 17, 2020 · 2 comments
Closed

[Feature Request] Protected Branch: Only Merge if PR is 0 Cmmits Behind BaseBranch #9816

6543 opened this issue Jan 17, 2020 · 2 comments
Labels
issue/duplicate The issue has already been reported.

Comments

@6543
Copy link
Member

6543 commented Jan 17, 2020

as title

hint: use function added via #9784 pull_service.GetDiverging(pull)
@lafriks lafriks added the type/feature Completely new functionality. Can only be merged if feature freeze is not active. label Jan 17, 2020
@guillep2k
Copy link
Member

Isn't this dup of #9786?

@6543
Copy link
Member Author

6543 commented Jan 17, 2020

you are right ...

@6543 6543 closed this as completed Jan 17, 2020
@lunny lunny added issue/duplicate The issue has already been reported. and removed type/feature Completely new functionality. Can only be merged if feature freeze is not active. labels Jan 17, 2020
@go-gitea go-gitea locked and limited conversation to collaborators Nov 24, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
issue/duplicate The issue has already been reported.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@lunny @lafriks @guillep2k @6543