Nemcio/git-remote-hg
1
0
Fork 0
mirror of https://github.com/mnauw/git-remote-hg.git synced 2026-02-02 11:29:07 +01:00
Code Issues Packages Projects Releases Activity

Really delete the private branch ref when deleting a branch

Browse Source
This commit is contained in:
Mark Nauwelaerts
2016-10-18 21:31:34 +02:00
parent 8ac5532eb1
commit 2ce962c5ab
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
git-remote-hg
View File

@@ -1383,7 +1383,7 @@ def delete_bookmark(parser, ref):
ok = peer.pushkey('bookmarks', bmark, old, '')
# delete private ref
if ok:
pbookmark = '%s/bookmarks/%s' % (prefix, bmark)
pbookmark = '%s/heads/%s' % (prefix, bmark)
subprocess.call(['git', 'update-ref', '-d', pbookmark])
return ok