Skip to content

pull-request merge

Actions
merge a pull-request when an event triggers the action
v1.2.0
Latest
Star (9)

merge a pull-request

This action merges a pull-request

Marketplace: https://github.com/marketplace/actions/pull-request-merge

Example usages

steps:
  - name: merge a pull request
    uses: sudo-bot/[email protected]
    with:
        github-token: ${{ secrets.GITHUB_TOKEN }}
        number: ${{ github.event.pull_request.number }}
        allowed-usernames-regex: ^williamdes$
        filter-label: merge-it

  - name: merge a pull request without any need of a label (automatic merge)
    uses: sudo-bot/[email protected]
    with:
        github-token: ${{ secrets.GITHUB_TOKEN }}
        number: ${{ github.event.pull_request.number }}
        allowed-usernames-regex: ^williamdes$

  - name: merge a pull request with message and body (optional)
    uses: sudo-bot/[email protected]
    with:
        github-token: ${{ secrets.GITHUB_TOKEN }}
        number: ${{ github.event.pull_request.number }}
        merge-method: merge
        allowed-usernames-regex: ^williamdes$
        filter-label: merge-it
        merge-title: "Merge #${{ github.event.pull_request.number }}"
        merge-message: "Merge #${{ github.event.pull_request.number }}"

  - name: merge a pull request using fast-forward
    uses: sudo-bot/[email protected]
    with:
        github-token: ${{ secrets.GITHUB_TOKEN }}
        number: ${{ github.event.pull_request.number }}
        merge-method: fast-forward
        allowed-usernames-regex: ^williamdes$
        filter-label: merge-it

pull-request merge is not certified by GitHub. It is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.

About

merge a pull-request when an event triggers the action
v1.2.0
Latest

pull-request merge is not certified by GitHub. It is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.