Uwe, On Saturday, 2020-07-25 19:26:36 +0200, you wrote: > ... > Is > > hg mv old new > equivalent to > mv old new > hg addremove Superficially yes. But if you look closer, the information is lost that file "new" is not really new but rather just received a new name. Sincerely, Rainer