Skip to main content

Public

Project privacy set to public. By default, its content is available to everyone (authenticated or not). Please note that more restrictive permissions might exist on some items.

    •  
      request #15092 Do not allow to create a PR with source branch already merged in the destination branch
    Actions
    Infos
    #15092
    Thomas Gerbet (tgerbet)
    2020-07-08 17:12
    2020-07-08 17:12
    16354
    Details
    Do not allow to create a PR with source branch already merged in the destination branch

    It makes little sense to allow the creation of a PR with something that is already merged as there is not really content to review anymore. It is also a bit inconsistent since PRs are automatically closed when a manual merge is done. Letting the possibility to create a PR that should be directly marked as merged is not really useful.

     

    Issue has been spotted by @gbonnefille in https://tuleap.net/plugins/tracker/?aid=15082#followup_68102

    Pull Request
    All
    Empty
    • [ ] enhancement
    • [ ] internal improvement
    Empty
    Stage
    Empty
    Verified
    Empty
    Attachments
    Artifact links
    Empty
    Empty
    References
    Referencing request #15092

    Artifact Tracker v5

    request #15082 FastForward not detected when checking mergeability