I just discovered that the “Add files” functionality on GitHub completely ignores the gitignore file. A student was able to upload a csv file even when csv files are explicitly ignored in the gitignore files. I want my students to push using the terminal commands (which is safer and always better), how can I disable to option to upload files directly on GitHub?
+1 to this! I’m not even trying to force people to use the command line (GitHub Desktop is fine for me), but I am trying to force people away from using the repo without cloning it.
GitHub please please please let us disable the “Add Files” web interface.