{"push_id":1011103345,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"12e486d6e554f589d28b63ad90a1028b9fd3c0c1","before":"192220761ab149f23a8b202bb075caef4a5dedc4","commits":[{"sha":"7d389d43c467018052494d630d8fbbc7604cd589","author":{"email":"01d954aa5aac61f6f2bf03ac97ba847a80913244@gmail.com","name":"Ward Muylaert"},"message":"Fix word order in link on landing page","distinct":true,"url":"https://api.github.com/repos/klee/klee.github.io/commits/7d389d43c467018052494d630d8fbbc7604cd589"},{"sha":"12e486d6e554f589d28b63ad90a1028b9fd3c0c1","author":{"email":"6cfa9a8bf1397984d2673ff89a7011ab1857a296@imperial.ac.uk","name":"Cristian Cadar"},"message":"Merge pull request #22 from ward/patch-1\n\nFix word order in link on landing page","distinct":true,"url":"https://api.github.com/repos/klee/klee.github.io/commits/12e486d6e554f589d28b63ad90a1028b9fd3c0c1"}]}