How to schedule automatic PR merges - code4lib/2026.code4lib.org GitHub Wiki

We're using the GitHub App PR Scheduler to automate the merging of 'scheduled' pull requests. Documentation

Scheduling a Merge

To schedule a automated merge, add a schedule date to the end of the pull request description that looks like:

@prscheduler 19/03/2022T05:00

Comments are interpreted as UTC time. DD/MM/YYYY

The above would schedule the PR merge for midnight (EDT, which is -5:00 UTC) on Friday, March 18, 2022.

screenshot of rescheduling a merge on a GitHub pull request

Anticipated Use Cases

  • Open/close events associated with registration
  • Voting
  • Volunteering opportunities
  • Transitioning the site from pre-conference to peri conference mode

Rescheduling a Pull Request

All you need to do is add another comment to the PR will the new date and time to merge.

Applying a Timezone

If you don't want to calculate the UTC for a merge, you can add a timezone to the comment. Defaults to UTC

@prscheduler 17/05/2021T19:06 BST or@prscheduler 17/05/2021T19:06 GMT+5