remove robots.txt from global gitignore and add alias