git mv

• like bash mv, but deals with all repository stuff
• if you just use bash mv, you then have to use git rm on previous locations