-
Notifications
You must be signed in to change notification settings - Fork 219
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
Tries to update a past closed pull request #183
Comments
This was reported to me a few weeks back by @mikearnaldi. I was investigating this and I've concluded that this was a bug in the GitHub API itself. I was performing the requests manually, with the correct filter for the open/closed status and it just returned stale/invalid results to me. I think it's worth reporting this to GitHub as something wrong is happening with their API, but perhaps we can check the status of the retrieved PR and try to handle this bug on our side 🤔 |
BTW, in this scenario, is it okay to simply open a new PR myself, will the action update it with any added changesets? |
maybe if it would match the query. It's hard to tell because this thing shouldn't happen in the first place ;p |
Noticed that the action had not opened a new PR when a changeset was merged. The action ran successfully, the logs said that it tried to update a past PR that had been merged the day before.
Not sure if the GH API result was wrong for some reason, or whatever the particular reason is... Could there be a check added, that checks whether the "existing" PR is still open, and if not, the action should open a new PR? The info seems to be there in the result
Logs (I removed a lot that should not be necessary, the closed state is important):
The text was updated successfully, but these errors were encountered: