On Sun, 2013-09-29 at 22:33 -0400, Andrew Dunstan wrote:
> Well if these are not meant to be changed then not being able to write
> them in your git repo might be a clue to that.
Git doesn't support setting file permissions other than the executable
bit, so this is a nonstarter.
