Skip to content

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

New issue
New issue
Closed
Closed
[Feature Request] Protected Branch: Only Merge if PR is 0 Cmmits Behind BaseBranch #9816
Labels
issue/duplicateThe issue has already been reported.
@6543

Description

@6543
6543
opened on Jan 17, 2020

as title

hint: use function added via #9784 pull_service.GetDiverging(pull)

Metadata

Metadata

Assignees

No one assigned

    Labels

    issue/duplicateThe issue has already been reported.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions