Script for correcting author info in several git commits