I will likely only import latest HEAD in order to save space (we don't want to clone huge repos) if you need the history - svn repo will not be removed so you can just checkout thatLet me know if you have any questions regarding this process.I am choosing it over wikimedia gerrit because it's way easier to maintain and I don't need to wait for Chad everytime I need to change anything in repository configuration.Hi,Because almost no one except for me works on huggle now, and I am tired of svn, I am going to move the source code repository to github.