ci: add lock mutex and update latest

[tsuyoshicho]

概要

#909 (comment)

でコメントされているエラーについて調査し、修正を作成しました。

原因

問題の原因ですが、根本としては

• GitHub workflow の並列度が高いこと
• マージが複数連続で実施されたこと
• 特に gh-pages は生成に時間がかかること

が重なり、push 先である vimdoc-ja のコミットの状態が clone 時と push 時で差ができ、push失敗したことによります。

対策

これに対し、次の対策をするようにしました。

• 変更したファイルを格納する前に、git pull --rebaseするようにした
• 最新への更新 & 変更の格納 & コミットまでをアトミックに操作するための排他処理の導入

排他だけでも対策は不可能ではないけど、ロック時間の短縮と他の操作の可能性を考慮し、軽減策はそのまま入れています

参考

• 排他制御を行う GitHub Action を作った

[tsuyoshicho]

ほぼ同時の更新での失敗と成功の参考

https://github.com/tsuyoshicho/vimdoc-ja-working/actions

[k-takata]

Let's merge this.