Commit 25207ce
Michael Pakhantsov
Explicitly provided fully qualified reference for the git branch, becase can be exists a tag and a branch with identical names
Fix push command for branch deletion
Updated the `push` command to use `--delete refs/heads/{name}` instead of `--delete {name}` for clearer branch reference when deleting a remote branch.1 parent e3cc987 commit 25207ce
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
62 | 62 | | |
63 | 63 | | |
64 | 64 | | |
65 | | - | |
| 65 | + | |
66 | 66 | | |
67 | 67 | | |
68 | 68 | | |
| |||
0 commit comments