{"push_id":1460683059,"size":4,"distinct_size":1,"ref":"refs/heads/svcomp2017-spaghetti","head":"9fd2b25be9da912e1e1c5988121a863f8eff84f3","before":"c8d0fb419f0ee28d07039dc542856c1d95bcd45f","commits":[{"sha":"1d7ad6fb9e57ea554817912e988e8ae7bca20d76","author":{"name":"Zvonimir","email":"ed4e6a18237b90322dcc90d858039f5f51985faf@cs.utah.edu"},"message":"Merge branch 'global-addr-safety-spaghetti' into develop\n\nConflicts:\n\tshare/smack/lib/smack.c","distinct":false,"url":"https://api.github.com/repos/smackers/smack/commits/1d7ad6fb9e57ea554817912e988e8ae7bca20d76"},{"sha":"ccf3604cb265459293c209c0b98a37f51e1f0662","author":{"name":"Zvonimir","email":"ed4e6a18237b90322dcc90d858039f5f51985faf@cs.utah.edu"},"message":"Bumped version number to 1.7.0","distinct":false,"url":"https://api.github.com/repos/smackers/smack/commits/ccf3604cb265459293c209c0b98a37f51e1f0662"},{"sha":"4fd429353d785bcc73bf2474635c9d054cf0a470","author":{"name":"Zvonimir","email":"ed4e6a18237b90322dcc90d858039f5f51985faf@cs.utah.edu"},"message":"Merge branch 'release-1.7.0' into develop","distinct":false,"url":"https://api.github.com/repos/smackers/smack/commits/4fd429353d785bcc73bf2474635c9d054cf0a470"},{"sha":"9fd2b25be9da912e1e1c5988121a863f8eff84f3","author":{"name":"Zvonimir","email":"ed4e6a18237b90322dcc90d858039f5f51985faf@cs.utah.edu"},"message":"Merge branch 'develop' into svcomp2017-spaghetti","distinct":true,"url":"https://api.github.com/repos/smackers/smack/commits/9fd2b25be9da912e1e1c5988121a863f8eff84f3"}]}
{"actor":{"display_login":"zvonimir"}}