mirror of
https://github.com/facebook/sapling.git
synced 2024-10-11 17:27:53 +03:00
remotenames: recorded journal entries should be shared like bookmarks
When a repository is shared between working copies, treat remote names just like bookmarks as far as sharing journal entries are concerned.
This commit is contained in:
parent
f064e47b7b
commit
dacb0b2f81
@ -569,6 +569,16 @@ def extsetup(ui):
|
|||||||
# histedit isn't on
|
# histedit isn't on
|
||||||
pass
|
pass
|
||||||
|
|
||||||
|
def hasjournal(loaded):
|
||||||
|
if not loaded:
|
||||||
|
return
|
||||||
|
# register our namespace as 'shared' when bookmarks are shared
|
||||||
|
journal = extensions.find('journal')
|
||||||
|
journal.sharednamespaces[journalremotebookmarktype] = (
|
||||||
|
hg.sharedbookmarks)
|
||||||
|
|
||||||
|
extensions.afterloaded('journal', hasjournal)
|
||||||
|
|
||||||
bookcmd = extensions.wrapcommand(commands.table, 'bookmarks', exbookmarks)
|
bookcmd = extensions.wrapcommand(commands.table, 'bookmarks', exbookmarks)
|
||||||
branchcmd = extensions.wrapcommand(commands.table, 'branches', exbranches)
|
branchcmd = extensions.wrapcommand(commands.table, 'branches', exbranches)
|
||||||
pushcmd = extensions.wrapcommand(commands.table, 'push', expushcmd)
|
pushcmd = extensions.wrapcommand(commands.table, 'push', expushcmd)
|
||||||
|
Loading…
Reference in New Issue
Block a user