I am in the process of moving the server for the github mirror to AWS. This is more or less done at this point, but in the process I found an issue with the back repo which I need to fix.
I am in the process of fixing this by re-exporting the back repo from SVN.
I will re-enable the cron job once I have done this.