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

ZolotukhinM · ZolotukhinM · commit 88cc3bd6b35a · 2024-10-11T21:11:58.000-07:00
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.
diff --git a/src/stack_pr/cli.py b/src/stack_pr/cli.py
@@ -1117,9 +1117,6 @@ def command_land(args: CommonArgs):
     )
 
     delete_local_branches(st, args.verbose)
-    delete_remote_branches(
-        st[:1], args.remote, args.verbose, args.branch_name_template
-    )
 
     # If local branch {target} exists, rebase it on the remote/target
     if branch_exists(args.target):

Original file line number	Diff line number	Diff line change
`@@ -1117,9 +1117,6 @@ def command_land(args: CommonArgs):`
`1117`	`1117`	`)`
`1118`	`1118`
`1119`	`1119`	`delete_local_branches(st, args.verbose)`
`1120`		`- delete_remote_branches(`
`1121`		`- st[:1], args.remote, args.verbose, args.branch_name_template`
`1122`		`- )`
`1123`	`1120`
`1124`	`1121`	`# If local branch {target} exists, rebase it on the remote/target`
`1125`	`1122`	`if branch_exists(args.target):`