##// END OF EJS Templates
pull: use `other.url()` as the source of a bookmark pull...
Pierre-Yves David -
r22641:ffd0f6b1 default
parent child Browse files
Show More
@@ -4961,7 +4961,7 b' def pull(ui, repo, source="default", **o'
4961 raise util.Abort(err)
4961 raise util.Abort(err)
4962
4962
4963 modheads = repo.pull(other, heads=revs, force=opts.get('force'))
4963 modheads = repo.pull(other, heads=revs, force=opts.get('force'))
4964 bookmarks.updatefromremote(ui, repo, remotebookmarks, source)
4964 bookmarks.updatefromremote(ui, repo, remotebookmarks, other.url())
4965 # update specified bookmarks
4965 # update specified bookmarks
4966 if opts.get('bookmark'):
4966 if opts.get('bookmark'):
4967 marks = repo._bookmarks
4967 marks = repo._bookmarks
General Comments 0
You need to be logged in to leave comments. Login now