Update HOWTO_git.txt