From e1e42f31c3ccd640feedc342bba2304a6f90a913 Mon Sep 17 00:00:00 2001 From: Sean Farley Date: Fri, 13 Mar 2015 17:51:29 -0700 Subject: [PATCH] paths: remove deleted path from remotenames --- remotenames.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/remotenames.py b/remotenames.py index fb3d3fbfec..4c854aa520 100644 --- a/remotenames.py +++ b/remotenames.py @@ -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: