GitHub wait for PR merge

Waits for a GitHub PR to be merged.

Fork and customize

Integrations

  • Name: GitHub

Configuration

Input parameters

  • Name: owner
  • Description: Name of repository owner.
  • Type: STRING
  • Name: repo
  • Description: Name of repository.
  • Type: STRING
  • Name: number
  • Description:
  • Type: INTEGER
  • Name: delay
  • Description: The number of time units to wait in between checks
  • Type: INTEGER
  • Name: delay_unit
  • Description: The time unit of the wait between checks. Valid values are: SECONDS, MINUTES, HOURS, DAYS, WEEKS
  • Type: STRING
  • Name: max_checks
  • Description: How many checks to perform before the action fails. One check will be performed with respect to the Time Number and Time Unit
  • Type: INTEGER