Workflows

Merge GitHub pull request

Select and merge a GitHub pull request with no conflicts.

Fork and customize

Integrations

  • Name: GitHub

Configuration

Input parameters

  • Name: repository_owner
  • Description: Org or user that owns the GitHub repository
  • Type: STRING
  • Name: repository
  • Description: GitHub repository name
  • Type: STRING
  • Name: pr_number
  • Description: Pull request number to merge
  • Type: INTEGER
  • Name: commit_message
  • Description: (Optional) Enter a commit message
  • Type: STRING