<div dir="ltr">Sure! The script is at web/cron/git-svn.sh. Let me know when it's set up or about to be set up so I can turn mine off. (There shouldn't be a problem if we both have cron jobs running at the same time, as both should produce identical git commits, and trying to push commits that already have been is a noop.)<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 7 Feb 2020 at 14:41, James Paige <<a href="mailto:Bob@hamsterrepublic.com">Bob@hamsterrepublic.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">I could set up the cron job on the nightly builds laptop, since it is always on</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Feb 6, 2020, 7:09 PM Ralph Versteegen <<a href="mailto:teeemcee@gmail.com" target="_blank">teeemcee@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>The git mirror of svn is now also available at <a href="https://github.com/ohrrpgce/ohrrpgce" rel="noreferrer" target="_blank">https://github.com/ohrrpgce/ohrrpgce</a> in addition to the original mirror at <a href="https://bitbucket.org/rbv/ohrrpgce-svn" rel="noreferrer" target="_blank">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" rel="noreferrer" target="_blank">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>
_______________________________________________<br>
Ohrrpgce mailing list<br>
<a href="mailto:ohrrpgce@lists.motherhamster.org" rel="noreferrer" target="_blank">ohrrpgce@lists.motherhamster.org</a><br>
<a href="http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org" rel="noreferrer noreferrer" target="_blank">http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org</a><br>
</blockquote></div>
_______________________________________________<br>
Ohrrpgce mailing list<br>
<a href="mailto:ohrrpgce@lists.motherhamster.org" target="_blank">ohrrpgce@lists.motherhamster.org</a><br>
<a href="http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org" rel="noreferrer" target="_blank">http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org</a><br>
</blockquote></div>