{"push_id":833226273,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"5298775eca0e06896a645825e55f6707c15300d7","before":"26ee2676fca9e18d1892cf82cfa1ef10e0e0812b","commits":[{"sha":"5298775eca0e06896a645825e55f6707c15300d7","author":{"email":"1cfeb957d00d5eef48ed5487053bdc3daf47ec3f@gmail.com","name":"Maxim Krivchikov"},"message":"Announce that next lecture will be on 27.10","distinct":true,"url":"https://api.github.com/repos/maxxk/formal-models-2015/commits/5298775eca0e06896a645825e55f6707c15300d7"}]}