{"push_id":721279658,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5db89e720580ec09936df90fe17a9749cacbac6e","before":"8f0530f7e185b6cd3799bbd670d8fda491171331","commits":[{"sha":"5db89e720580ec09936df90fe17a9749cacbac6e","author":{"email":"6673b20d02a0fec0f4ada156ad913a0e309f35b4@free.fr","name":"Antoine Musso"},"message":"Adjust mw/core rubocop filter to be an alias\n\n8f0530f7 adjusted the rubocop file filter to include changes made solely\nto Gemfile.lock.  That did not work for mediawiki/core since it uses a\ncopy pasted version which was not updated.\n\nChange the files filter to be an alias.\n\nBug: T105178\nChange-Id: I2c10befd22d7c6cf46edefeca4f0763c0b308631","distinct":true,"url":"https://api.github.com/repos/wikimedia/integration-config/commits/5db89e720580ec09936df90fe17a9749cacbac6e"}]}