Looks like after this last commit https://github.com/wikimedia/operations-puppet/commit/d66a3d24c5411ac8dccee6be72f8fc713d3843e2 our sync between gerrit and github has stopped:
https://github.com/wikimedia/operations-puppet/commits/production/
This seems to affect at least the puppet repo and the mediawiki-config one:
I pushed this to mw config repo: https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/1152893 but it is also not there: https://github.com/wikimedia/operations-mediawiki-config/commits/master/