{"push_id":549648950,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a378cd6110de523db1a0c9c1faf2349ab22b6fcd","before":"f2541f0b7a4446dcc72f839fd8c20ba8d4d338be","commits":[{"sha":"a378cd6110de523db1a0c9c1faf2349ab22b6fcd","author":{"email":"0c60145b2adbda52675f68159edb184814081c1f@gmail.com","name":"Michael Lerch"},"message":"Improve making","distinct":true,"url":"https://api.github.com/repos/mdlerch/QED/commits/a378cd6110de523db1a0c9c1faf2349ab22b6fcd"}]}