Close PRs when PR opened #6
Conversation
|
Looks good! |
| @@ -4,6 +4,7 @@ permissions: | |||
| pull-requests: write | |||
|
|
|||
| on: | |||
| pull_request: | |||
There was a problem hiding this comment.
This should let a core dev reopen an auto-closed PR if need be:
GitHub's documentation states:
By default, a workflow only runs when a pull_request event's activity type is opened, synchronize, or reopened.
I haven't tested it, but it seems by default we'd have an auto-close loop.
| pull_request: | |
| pull_request: | |
| types: | |
| - opened |
This comment was marked as off-topic.
This comment was marked as off-topic.
|
We do not accept PRs on this repository. Please file an issue at https://github.com/python/cpython requesting an update to the binary packages in this repository. |
No, it stayed open after re-open (and was later closed by the hourly cron). |
|
I'll re-open and merge this :) |
|
We do not accept PRs on this repository. Please file an issue at https://github.com/python/cpython requesting an update to the binary packages in this repository. |
|
Bad timing, got hit by the hourly cron: 
But GitHub Actions isn't behaving right now (on many repos), with builds taking a long time to start and completed builds showing as yellow. Will try again later when things have settled. |
Re: #5 (comment)
The cron was disabled four months ago:
This triggers the autoclose when opening a PR.
For a demo, see:
(This PR will be autoclosed the next time the schedule runs, we'll just have to re-open it before merge 😅)