{"push_id":601525863,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5d5b745869eca95de81275fb58df7e6fd45bba95","before":"89e65fa075074724a7cdb8246e746770e9c7c2aa","commits":[{"sha":"5d5b745869eca95de81275fb58df7e6fd45bba95","author":{"email":"61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","name":"jenkins-bot"},"message":"Updated mediawiki/extensions\nProject: mediawiki/extensions/CentralAuth  f5d05dfb964505c446a29b42e5cc8c15b297db42\n\nFix output of PopulateListOfUsersToRename\n\nChange-Id: I485957f9f07cd3d0a8851cfcfe17dfd3caac47ce","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions/commits/5d5b745869eca95de81275fb58df7e6fd45bba95"}]}