The extensions of these files have changed from .txt to .md, see 1b5e3649e5 Closes #18282.
1b5e3649e5
Rename BuildGit.txt to README-GIT.md, which is a more standard name, and a better format for viewing this file online, e.g. from GitHub Web UI, and link it from the main README to make it easier to find.