{"push_id":741993878,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3d81c32cc1b61093dfc09ae9377cc372224d20f1","before":"307d23f5e4654e0f72e71a57e324da4e9766ee53","commits":[{"sha":"3d81c32cc1b61093dfc09ae9377cc372224d20f1","author":{"email":"61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","name":"jenkins-bot"},"message":"Updated mediawiki/extensions\nProject: mediawiki/extensions/WikidataPageBanner  20a773807ba840c8883ebfe57627d85e75a232d1\n\nWikidataPageBanner add extension.json\n\nMake WikidataPageBanner use extension registration. Add extension.json. Empty\nphp entry point.\n\nBug: T106587\nChange-Id: Id1d03ebc5ce4ae63f70f267cce7368b8c80ad8fa","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions/commits/3d81c32cc1b61093dfc09ae9377cc372224d20f1"}]}