{"push_id":622740780,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4ef99c5e77bfe0c1800cf6d0d4741e7bc1e1f6f7","before":"54c1d4a112427b4908e063e648c8fb44101d6cf7","commits":[{"sha":"3627c2ad12251ce93676d45ec3bb5e450df65169","author":{"email":"16859f1e5a01d48df8fdfa90411862e20823e40b@wikimedia.org","name":"kaldari"},"message":"Make width of buttons not change when label is replaced with spinner\n\nChange-Id: I6b54c88fd93d1dca70eba5d92a537fb3bea1d41f","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions-MobileFrontend/commits/3627c2ad12251ce93676d45ec3bb5e450df65169"},{"sha":"4ef99c5e77bfe0c1800cf6d0d4741e7bc1e1f6f7","author":{"email":"61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","name":"jenkins-bot"},"message":"Merge \"Make width of buttons not change when label is replaced with spinner\"","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions-MobileFrontend/commits/4ef99c5e77bfe0c1800cf6d0d4741e7bc1e1f6f7"}]}