I just realised that the puppet repo mirror on github isn't being updated. I don't know whether the issue is on our end or on github's side.
An example:
https://github.com/wikimedia/puppet/commits/production/manifests/site.pp
Last commit to that specific file is: d4ee2ffafee5c9c9eb901b1cbb9390b74e8a3a76 (https://gerrit.wikimedia.org/r/plugins/gitiles/operations/puppet/+log/production/manifests/site.pp)