<div dir="ltr"><div>The git mirror of svn is now also available at <a href="https://github.com/ohrrpgce/ohrrpgce">https://github.com/ohrrpgce/ohrrpgce</a> in addition to the original mirror at <a href="https://bitbucket.org/rbv/ohrrpgce-svn">https://bitbucket.org/rbv/ohrrpgce-svn</a> . It doesn't matter which one you use because they both have identical contents and I will continue to update them indefinitely.<br></div><div><br></div><div>(I think James occasionally pushed the git mirror to <a href="https://github.com/ohrrpgce/ohrrpgce">https://github.com/ohrrpgce/ohrrpgce</a>, but it was missing all the branches)<br></div><div><br></div><div>You probably didn't notice that the git-svn mirror hasn't been updating regularly for the past few months, because I no longer have the machine that was doing the mirroring. I've just been pushing to it manually, infrequently. I've now set up a cron job on my desktop to update the mirrors every 20 min, but it won't run while I'm not at my computer. So sometimes the mirror will be delayed by up to a day.<br></div></div>