{"push_id":820841532,"size":1,"distinct_size":1,"ref":"refs/heads/holikosimulace","head":"743622c2c93ee8d87ced5d2ce7e470a08384e56f","before":"00b16bbc4df9e1ed6aed98510e6a8f04874388a6","commits":[{"sha":"743622c2c93ee8d87ced5d2ce7e470a08384e56f","author":{"email":"96800b34913a4f6c206b6903cbed181b182a503b@gmail.com","name":"Martin Hruska"},"message":"added determinization for explicit TA","distinct":true,"url":"https://api.github.com/repos/martinhruska/libvata/commits/743622c2c93ee8d87ced5d2ce7e470a08384e56f"}]}