git remove file from gitignore
By Pearl Smith at Aug 24 2020
git remove file from repo that has been added to gitignore
By Stanley Frami at Sep 23 2020