{"push_id":1139887514,"size":4,"distinct_size":3,"ref":"refs/heads/master","head":"5f9169a5932ed416fa783ebb30d776210a6ec458","before":"b20dfa76bb47b81e68635faec3777add979f2c71","commits":[{"sha":"0edf6753872f764c57b9183b4724908bc2b39163","author":{"name":"David L. Rager","email":"3d2ab9c941a10e8adc4328f12cd36917e9102fba@gmail.com"},"message":"Merge commit '6dd427ef9b8b024582a27bc57db66aa702b604de' into HEAD","distinct":false,"url":"https://api.github.com/repos/acoglio/acl2/commits/0edf6753872f764c57b9183b4724908bc2b39163"},{"sha":"16f3896c624fe506189c00466c1b2c7df6cff51d","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@jaeger.kestrel.edu"},"message":"Merge remote-tracking branch 'remotes/acl2/master'","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/16f3896c624fe506189c00466c1b2c7df6cff51d"},{"sha":"925cc1595f4b9e1986dda9a267d6e3aa82f555db","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@jaeger.kestrel.edu"},"message":"Merge remote-tracking branch 'remotes/acoglio/master'","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/925cc1595f4b9e1986dda9a267d6e3aa82f555db"},{"sha":"5f9169a5932ed416fa783ebb30d776210a6ec458","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@jaeger.kestrel.edu"},"message":"Merge branch 'testing'","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/5f9169a5932ed416fa783ebb30d776210a6ec458"}]}
{"actor":{"display_login":"acoglio"}}