Merge GitHub pull request

Select and merge a GitHub pull request with no conflicts.

Fork and customize

Integrations

  • Name: GitHub

Configuration

  • Name: repository
  • Description: Repository to list PRs for
  • Type: STRING
  • Default:
  • Name: repository-owner
  • Description: Org or user that owns the repository
  • Type: STRING
  • Default:

Input parameters

  • Name: commit_message
  • Description: Message to add to the merge of the selected pull request
  • Type: STRING
  • Name: pr_number
  • Description: Pull request number to merge
  • Type: INTEGER