I had done this locally, but this particular Git repository existed on
Windows at one point so filemode was off.