It looks like foreman_maintain was force pushed to and our mirror script doesn’t like that. That caused it to be stuck for a while. I’ve reset it to the latest master which may explain a sudden wave of updates.
For the future: if you need to force push to a repo and are unlucky enough that our hourly sync script has already copied it, let me know so I can run the following command (with the correct commit ID).
Sorry for inconvenience. IIRC, I have force pushed to the master branch 4/5 weeks before.
I understand that it is not good practice and I should avoid doing this.
But considering the corner cases, I will keep this in mind that whenever I need to force push I will let you know.
Thanks for letting me know and for pointing it to correct commit ID.
I should have noted the exact commit ID, but it was indeed around the end of December. You were pretty unlucky since it’s an hourly cron that copied the old ref. We haven’t dealt with this often enough to properly handle in our sync script.