『Do Not Merge WIP for GitHub』で、レビューの存在感を保つ

また GitHub 関連の話題。

『Do Not Merge WIP for GitHub』という Chrome 拡張があることを、一ヶ月くらい前に知った。

chrome.google.com

どんな拡張かというと、『あるプルリクエストのタイトルに WIP の文字が含まれている場合』と『あるプルリクエストにおいて未完遂のタスクがあった場合』に、Merge ボタンを非活性化してくれる、というもの。

今回の話は、特に後者の機能を使ったときの話なんだけど、これ、たぶん文字で書くよりも実例を示したほうが早いと思うので、例示する。