How to schedule automatic PR merges
We're using the GitHub App PR Scheduler to automate the merging of 'scheduled' pull requests. Documentation
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.
- Open/close events associated with registration
- Voting
- Volunteering opportunities
- Transitioning the site from pre-conference to peri conference mode
All you need to do is add another comment to the PR will the new date and time to merge.
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