メモ：WindowsでGITのファイルの権限を変えたいときはgit update-index --chmod=...

git update-index --chmod=+x <file>

むずい…。PowerShell的にはSet-ACLとかでやるのが正しいらしいけど、よくわからないので断念。