codecorner.galanter.net
Force add file permission in git.
I was working on a Windows laptop with a repo originally created on Mac, and git arbitrary changed bash script file permission from 755 to 644. I was able to change it back by updating git index Bu…