$ 0 0 Adriano dos Santos Fernandes will push the pull requests from github mirror to svn repository That way is easier to contribute to the project.