はじめに した。 github.com ついにGitHubオフィシャルでPRをmergeしたあとbranchを削除する機能が出たからだ。 help.github.com 作ったときの記事 blog.chaspy.me 少し残念な気もするが、個人のリポジトリで1年弱、何の問題もなく安定稼働していたし、lambd…