by shigemk2

当面は技術的なことしか書かない

GitHubのPRでチェックボックスを入れるとPR画面でProgressっぽいものが出る

こういうPRを出すと、

f:id:shigemk2:20151221184641p:plain

PR一覧のページに、こんなものが出る。

f:id:shigemk2:20151221184601p:plain

PRの一覧のところにTask Listsが出るらしいけど、見た目が変わったみたい。 github.com

見た目が変わるだけで、チェックボックスを入れたら自動的にWIPになるとか、チェックボックスにすべてチェックを入れたらWIPが外れるとかそういうのはないらしい。