{"push_id":2917961231,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e4a7a680a169a74256d170f3877889acb445d3aa","before":"29ae557aa6551825f2574fb270168d52c2eb8b94","commits":[{"sha":"e4a7a680a169a74256d170f3877889acb445d3aa","author":{"name":"Andre Platzer","email":"57210157395e21eca7b182a2ba173e082cfd3cc0@cs.cmu.edu"},"message":"Documentation","distinct":true,"url":"https://api.github.com/repos/LS-Lab/KeYmaeraX-projects/commits/e4a7a680a169a74256d170f3877889acb445d3aa"}]}
{"actor":{"display_login":"aplatzer"}}