『Do Not Merge WIP for GitHub』で、レビューの存在感を保つ - えいのうにっきまた GitHub 関連の話題。 『Do Not Merge WIP for GitHub』という Chrome 拡張があることを、一ヶ月くらい前に知った。 chrome.google.com どんな拡張かというと、『あるプルリクエストのタイトルに WIP の文字が含まれている場合』と『あるプルリクエストにおいて未完遂のタスクがあった場合』に、Merge ボタンを非活性化してくれる、というもの。 今回の話は、特に後者の機能を使ったときの話なんだけど、これ、たぶん文字で書くよりも実例を示したほうが早いと思うので、例示する。 『Do Not Merge WIP for GitHub』の基本的な使い方 『プルリクエストにおけるタスク』とは、『プルリクエストの description に、Markdown でチェックボックスを書いたもの』を指す。 ↑こういうのね。 こういうふうに書いておくと、プル
Dockerについて
