{"push_id":787798937,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fa4acf758c45b26d5adbf22722a94d8cfd0ecf6d","before":"ef8113140e05597a42d40a860632720828b7140f","commits":[{"sha":"fa4acf758c45b26d5adbf22722a94d8cfd0ecf6d","author":{"email":"ce98047f2704fd35dcfde4335fc3bb65a0182e44@epfl.ch","name":"Nada Amin"},"message":"getting started on LF DOT","distinct":true,"url":"https://api.github.com/repos/samuelgruetter/dot-calculus/commits/fa4acf758c45b26d5adbf22722a94d8cfd0ecf6d"}]}