Remove doc/GIT.txt: it is outdated