Cleaning up after I messed up with git mv.