rename filename via git mv