there’s

git mv

, isn’t there? or does that not work the way I think it does