Closed diogomatsubara closed 1 month ago
Using git push origin --delete refname apparently doesn't delete remote branch, so we strip the parts from the refname to get only the branch name. Fix #142 for real this time.
git push origin --delete refname
Using
git push origin --delete refname
apparently doesn't delete remote branch, so we strip the parts from the refname to get only the branch name. Fix #142 for real this time.