Skip to content

Conversation

mphome
Copy link
Contributor

@mphome mphome commented Mar 13, 2025

Explicitly provided fully qualified reference for the git branch, because there can be a tag and a branch with identical names.

Fixed the 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.

…ase 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.
@love-linger love-linger self-assigned this Mar 14, 2025
@love-linger love-linger added the enhancement New feature or request label Mar 14, 2025
@love-linger love-linger merged commit 9645b65 into sourcegit-scm:develop Mar 14, 2025
13 checks passed
love-linger added a commit that referenced this pull request Mar 14, 2025
Merge deleting branch and tag on remote into `SourceGit.Commands.Push(repo, remote, refname, isDelete)`

Signed-off-by: leo <[email protected]>
@mphome mphome deleted the deleteBranch branch March 14, 2025 12:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants