{"push_id":1075363421,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"5b92e9f8a4d563cff213901ebe51db4980eb359e","before":"1b773eeb47cb2c3116d78bdf681505703b762eee","commits":[{"sha":"bb40a1821a6188ca65f8cf0a4f143810510b50d7","author":{"email":"0d1d21be96d69ead3a6d25570068353c64dd5539@cs.ntua.gr","name":"Kostis Sagonas"},"message":"Correct an erroneous spec","distinct":false,"url":"https://api.github.com/repos/norton/proper/commits/bb40a1821a6188ca65f8cf0a4f143810510b50d7"},{"sha":"5b92e9f8a4d563cff213901ebe51db4980eb359e","author":{"email":"0d1d21be96d69ead3a6d25570068353c64dd5539@cs.ntua.gr","name":"Kostis Sagonas"},"message":"Do not fake scanner annotations by creating them explicitly","distinct":false,"url":"https://api.github.com/repos/norton/proper/commits/5b92e9f8a4d563cff213901ebe51db4980eb359e"}]}