ファイルの実行権限を付与してpushする方法

TL;DR

• cron でバッチ実行しようとして失敗、原因は実行権限
• ファイルに実行権限を付与する

ファイルに実行権限を付与してcommit

• 対象ファイルをインデックスに追加

git add XXX

• インデックス上のファイルの実行権限を変更

git update-index --add --chmod=+x XXX - git commit & git push

git commit -m 'chmod XXX'
git push origin branch_name

ちなみに

• 一番最初の git add はいらないかもしれない
  • git update-index --add --chmod=+x XXX
  • --add が対象ファイルがインデックスに追加されていない場合、インデックスに追加（追加されていたら無視）というオプションなので
  • cf. https://git-scm.com/docs/git-update-index