また GitHub 関連の話題。 『Do Not Merge WIP for GitHub』という Chrome 拡張があることを、一ヶ月くらい前に知った。 chrome.google.com どんな拡張かというと、『あるプルリクエストのタイトルに WIP の文字が含まれている場合』と『あるプルリクエスト…