Documentation: update "howto maintain git"