{"push_id":2943152433,"size":1,"distinct_size":1,"ref":"refs/heads/newmodels","head":"3d65d2cb624380d7e6d107bc9fef36f31b215e3f","before":"a96b4536d959e6fdecb754d8094f7506f5077c46","commits":[{"sha":"3d65d2cb624380d7e6d107bc9fef36f31b215e3f","author":{"name":"Unknown","email":"ad80c7b59e8dceeef372eb72ed12445fc70505fb@gmail.com"},"message":"returned back vars option","distinct":true,"url":"https://api.github.com/repos/JuliaReach/ReachabilityBenchmarks/commits/3d65d2cb624380d7e6d107bc9fef36f31b215e3f"}]}
{"actor":{"display_login":"kostakoida"}}