Skip to content
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

Don't attempt to delete remote branch after a PR has landed. #42

Merged
merged 1 commit into from
Oct 12, 2024

Conversation

ZolotukhinM
Copy link
Collaborator

@ZolotukhinM ZolotukhinM commented Oct 12, 2024

Stacked PRs:


Don't attempt to delete remote branch after a PR has landed.

GitHub deletes the remote branch automatically when the PR is merged, so
we don't to explicitly do that. Trying to delete it currently results in
an error like this:

error: unable to delete 'ZolotukhinM/stack/1': remote ref does not exist
error: failed to push some refs to '...'

The code for deleting the branch has been sitting there for a long time,
but until a fix in #27 it used incorrect branch names.

GitHub deletes the remote branch automatically when the PR is merged, so
we don't to explicitly do that. Trying to delete it currently results in
an error like this:
```
error: unable to delete 'ZolotukhinM/stack/1': remote ref does not exist
error: failed to push some refs to '...'
```
The code for deleting the branch has been sitting there for a long time,
but until a fix in #27 it used incorrect branch names.

stack-info: PR: #42, branch: ZolotukhinM/stack/1
@ZolotukhinM ZolotukhinM merged commit 7cbd8ab into main Oct 12, 2024
2 checks passed
@ZolotukhinM ZolotukhinM deleted the ZolotukhinM/stack/1 branch October 12, 2024 04:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant