mirror of
https://github.com/facebook/sapling.git
synced 2024-10-11 17:27:53 +03:00
paths: remove deleted path from remotenames
This commit is contained in:
parent
83f7bb590e
commit
e1e42f31c3
@ -220,6 +220,8 @@ def expaths(orig, ui, repo, *args, **opts):
|
||||
if not (foundpaths and line.strip().startswith(delete)):
|
||||
f.write(line)
|
||||
f.close()
|
||||
saveremotenames(repo, delete)
|
||||
writedistance(repo)
|
||||
return
|
||||
|
||||
if add:
|
||||
|
Loading…
Reference in New Issue
Block a user