{"push_id":832877917,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"408dd698c71778cb69e47800e2c65789c411f3a5","before":"592792299d23c19377791416a29e69015e619a51","commits":[{"sha":"cc2a54373070523341d701a84b811358cc4bff66","author":{"email":"81ecf282caf36c4650876909892470b2e210afed@mail.huji.ac.il","name":"Amir E. Aharoni"},"message":"Remove version specification from extension.json\n\nThe version number that extension.json had was \"1.0.0+20150710\",\nwhich was not useful for anything.\n\nRemoving this number simply shows the Git change ID,\nwhich is the number that is actually useful for all practical purposes.\n\nBug: T86301\nChange-Id: I7919c72a931d9ec284e30f75da0289924c6b7ff1","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions-ContentTranslation/commits/cc2a54373070523341d701a84b811358cc4bff66"},{"sha":"408dd698c71778cb69e47800e2c65789c411f3a5","author":{"email":"61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","name":"jenkins-bot"},"message":"Merge \"Remove version specification from extension.json\"","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions-ContentTranslation/commits/408dd698c71778cb69e47800e2c65789c411f3a5"}]}