えいのうにっき

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