Hi All,<div><br></div><div>Does anybody use <a href="https://github.com/jbosstools/jbosstools-svn-mirror">our Git mirror on GitHub</a> to pull from it and to push changes to <a href="https://svn.jboss.org/repos/jbosstools">our SVN repo</a>?</div>

<div>If yes, how do you do that? Especially, how did you connect your local GitHub clone to the SVN?</div><div><br></div><div>Regards,</div><div>Yahor Radtsevich</div><div><br></div>