-
-
Notifications
You must be signed in to change notification settings - Fork 25.9k
MNT remove .github/workflows/sync_pull_request.yml #18951
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
MNT remove .github/workflows/sync_pull_request.yml #18951
Conversation
Note: @cmarmo also tried it on her recent PR: #18930 (comment) and it did not fail but instead reported that was nothing to do while the last merged with master was pushed 13 hours earlier and there was new commits pushed to master in the mean time... see: #18930 (commits) |
ping @thomasjpfan @adrinjalali . |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, lets remove this for now.
Just curious: what was this workflow doing? |
It was suppose to allow a reviewer to add a "ci sync" label to a PR which would sync the PR with master. (If there are not merge conflicts) |
I tested this in my fork and everything seemed to work, but for some reason it doesn't work on the main repo. |
@thomasjpfan if you are still motivated for working on it you have a testbed here |
Apparently the
sync_pull_request.yml
github actions workflow does not work as expected, even for PRs started after the merge of #18695, see for instance #18950 which fails with the following error message:I don't see how to fix it unfortunately. It seems like a fundamental limitation.
Shall we abandon and remove this workflow?