On Sun, May 05, 2024 at 12:09:56PM +0200, Matthias Schmidt wrote:
> Thanks for the explanation, makes sense.  Since I checked the man pages
> and couldn't find a reference maybe the following diff could be
> helpful.

cvs does not have a 'rename' or 'move' command either and doesn't
document workarounds for it. But I agree that Git users are more
likely to look for an equivalent to 'git mv'.

I have committed a tweaked version of your patch as dab6d6fcbcba4b0f05c,
thanks!