初回だけ push 用リポジトリ github_push を作成。
$ git branch -D github_push $ git branch github_push $(git log -1 --pretty=format:"%H" github/translation_ja) $ git branch --set-upstream github_push origin/master
github_push で pull 作業。この部分は日常的に繰り返す。
$ git checkout github_push $ git pull -v $ git diff -z --name-only master translation_ja | xargs -0 -r -n 1 git checkout translation_ja $ git commit -a -m "translation: update" $ git checkout translation_ja
繰り返し部分はタイミングミスると危ないかも?(危ない。)checkout後にブランチが変わったことをチェックせずに先に進むと、編集用ブランチの作業ファイルが編集用ブランチでcommitする前のファイルに書き戻されるのでかなり危険。チェック機構が必要。