A few git tips you didn’t know about