hg mv old new equivalent to mv old new hg addremove

[Dr Rainer Woitok]

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