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

GCC 公式の Git ミラー http://gcc.gnu.org/git/?p=gcc.git は， Release に対して tag が打たれていません． で，それは不便なので， Release に対して tag を打つ方法を紹介します． やり方は簡単で，適当な branch （ origin/gcc-4_6-branch 等）に対し，…

Boost のバージョンが上がる度に，毎回 手動でファイルをダウンロードするのは，少し面倒ですよね． そういう場合には， Git リポジトリを使うのが便利ですが，単に git clone git://github.com/ryppl/boost-svn.gitとした場合，開発版も全部一緒にダウンロ…

何かのプロジェクトをバージョン管理をしていると，しばしば， こまめにコミットしたい その方が修正とかも効きやすいし，変更も追いやすい ログも細かくなる分だけ分かりやすくなる でもログが細かすぎるのは嫌だ 後でざっと見返すときは大雑把な方がいい …