{"push_id":594120509,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"187226936d4e338c503ae5832c020ef9205f37ed","before":"7df0f35db64678deff6ad028ff5a51e3c74334a8","commits":[{"sha":"d085a936a5cd8136f931946e7b814b19271c97bb","author":{"email":"435ca1e5c72bd3a8eb215ed6b3bfc25836ac1857@googlemail.com","name":"danielratiu"},"message":"improving migration script that converts analyses.base.AnalysisConfig into cbmc.CBMCAnalysisConfig and deletes not needed properties","distinct":true,"url":"https://api.github.com/repos/mbeddr/mbeddr.core/commits/d085a936a5cd8136f931946e7b814b19271c97bb"},{"sha":"82051839487b910c2ca7a2822e31e20da52b3535","author":{"email":"435ca1e5c72bd3a8eb215ed6b3bfc25836ac1857@googlemail.com","name":"danielratiu"},"message":"slightly polishing the analysis example","distinct":true,"url":"https://api.github.com/repos/mbeddr/mbeddr.core/commits/82051839487b910c2ca7a2822e31e20da52b3535"},{"sha":"55f8d8fb3dfbe17c02b4a60b1f2b441a4a661b53","author":{"email":"435ca1e5c72bd3a8eb215ed6b3bfc25836ac1857@googlemail.com","name":"danielratiu"},"message":"minor fix","distinct":true,"url":"https://api.github.com/repos/mbeddr/mbeddr.core/commits/55f8d8fb3dfbe17c02b4a60b1f2b441a4a661b53"},{"sha":"187226936d4e338c503ae5832c020ef9205f37ed","author":{"email":"435ca1e5c72bd3a8eb215ed6b3bfc25836ac1857@googlemail.com","name":"danielratiu"},"message":"Merge branch 'master' of https://github.com/mbeddr/mbeddr.core","distinct":true,"url":"https://api.github.com/repos/mbeddr/mbeddr.core/commits/187226936d4e338c503ae5832c020ef9205f37ed"}]}