Hey maintainers, Friendly ping regarding this patch (I assume it slipped through the cracks). It would be great if the change could be made to the git documentation, since it still is a common misconception amongst students that merely adding a file to .gitignore will lead to the file being automagically ignored by git when that is in fact not the case. P.S: sohomdatta1+git@xxxxxxxxx and sohom.datta@xxxxxxxxxxxxxxxxxxx are both me, that email was used by me previously when I was affiliated to my university. Regards, Sohom Datta.
