git/local: formatting of the description of the basic use of git