CodeRepos から GitHub に移行するパターンで，両方のレポジトリでユーザ名が同じでも，結局別人扱いされてしまうのでどうしたもんかなぁと思っていたのだけど，こことかこことか見るとマッピングファイルを作ればいいということがわかった．git help svn す…