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.
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.
Let me know if you have any questions regarding this process.
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 that