自分で管理しているソースリポジトリが全く別々のサーバに分散していたので、統合を試みた 一旦テンポラリの枝を設定し、そこに別リポジトリのデータをロードして後から枝を整理しようとした だが、一旦ロードしてから、内容が不要のものだったことがわかり、その枝を削除しようとしたら、なんと、削除できなくなってしまった これは困ったぞ、ということになり、WEBを探しまわってみたら、 svndumpfilter に行き着いた これは、そもそも不要な枝を簡単に刈り取ってくれるツールで..