GitHub を使って Pull Request ベースで仕事しているとこんなことがありますよね……
( ^o^) LGTM もらった!:sushi:
( ˘⊖˘) 。o(CI 通ったらマージしよう)
|花金|┗(☋` )┓三
( ◠‿◠ )☛ マージしてから帰れよ
▂▅▇█▓▒░(’ω’)░▒▓█▇▅▂ 忘れてたああああああ
Issue/PR のタブを開きすぎて、自分のにしろ他人のにしろ何がどこにあってステータスがわからなくなってしまうという問題もありますね。
そんなときに便利なユーザースクリプトがこちら。
GitHub PR Build Status in Favicon
chrome://extensions に放り込むなどしてインストールすると、ビルドステータスが設定されている Pull Request(例)では、Favicon の右下にそのステータス(最新コミットのもの)を表す色が描かれます(Favicon に注目):
GitHub はステータスに変化があったときや新たなコミットが追加されたときもリアルタイムにページの内容を更新してくれますが、そのような場合にも追随して Favicon を再描画するので、放っておいてもひと目で PR の様子がわかります。
インストール後、動きを試してみたい人は Travis CI の Recent を見てみると最新の PR を漁ることができますよ。