You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, the auto-sync script force pushes to the PR branch, then tries to create a PR, then (if PR creation fails) tries to find the PR so it can re-enable auto-merge.
It should either do nothing if the PR exists, or detect whether or not it makes sense to push the new commit to the old PR.
The text was updated successfully, but these errors were encountered:
Right now, the auto-sync script force pushes to the PR branch, then tries to create a PR, then (if PR creation fails) tries to find the PR so it can re-enable auto-merge.
It should either do nothing if the PR exists, or detect whether or not it makes sense to push the new commit to the old PR.
The text was updated successfully, but these errors were encountered: