Development Log file exceeds GitHub’s file size limit, even after deleting file

https://stackoverflow.com/questions/19082710/development-log-file-exceeds-githubs-file-size-limit-even-after-deleting-file