Minor update to how-to maintain git