GitHub では ちょっと前から， pull request を merge したとき，その pull request を投げた topic branch （仮に origin/hoge とする）を Web 上の操作で簡単に削除できるようになってます （つまり git push origin :hoge を自動で実行してくれます）． …

仕事で Jenkins を使ったCI環境を立ち上げたので，メモがてら手順を書いておく． 環境は さくらのVPS， OS は Debian 6． 内容的には，セキュリティの設定が完了して実際にプロジェクトを立ち上げられるまで． Jenkins の導入 参考： https://wiki.jenkins-c…