Unneeded github version of gitignore