{"push_id":801320668,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"00c2eb94bd6408095b586281571b47af2d8bf1fe","before":"62df37849c8185dfbe30ea3a1ca07ed6691b2a0b","commits":[{"sha":"00c2eb94bd6408095b586281571b47af2d8bf1fe","author":{"email":"61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","name":"jenkins-bot"},"message":"Updated mediawiki/extensions\nProject: mediawiki/extensions/Echo  3c43555c55f07dd3a5e559a3a7cede4f49b8cfd8\n\nUse UserGroupsChanged hook instead of deprecated UserRights hook\n\nBug: T113357\nChange-Id: If63b08493bcd49be9608d20a0d6fee0b3b205d58","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions/commits/00c2eb94bd6408095b586281571b47af2d8bf1fe"}]}