why don't they push gitignore?