{"push_id":2398367196,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fcf8f5172c6bfcba6284a3013487a901dbd3a58b","before":"0c20440b618609f9eb626bdc8ab9866bd4f1b46b","commits":[{"sha":"fcf8f5172c6bfcba6284a3013487a901dbd3a58b","author":{"name":"jenkins-bot","email":"351f12fba1a2a3a8d6e01216c3825e58e9dd4d58@gerrit.wikimedia.org"},"message":"Update git submodules\n\n* Update BatchUserRights from branch 'master'\n  to 6c7b4f5284a5f3a3fc257f4e698d29d92f40aa96\n  - Merge \"Replace deprecated method User::getGroupMember\"\n  - Replace deprecated method User::getGroupMember\n    \n    Note that the extension now requires 1.29.\n    \n    Change-Id: I7eab71e98b763ffa9d12e75b5932dfa0a9a5c134","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions/commits/fcf8f5172c6bfcba6284a3013487a901dbd3a58b"}]}
{"actor":{"display_login":"wmfgerrit"}}