gitignore for platforms to save git space and time