あと、CI 通ったら自動で merge するやつも便利でした。あれ GitHub にも欲しい