Rename GitpullTets.txt to GitPullTets.txt