{"push_id":689331611,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9c0ce6ddf25a496287707806f6066a31572ea641","before":"c7ef8a7e71088c50138731883ae00cc808a2bcd4","commits":[{"sha":"9c0ce6ddf25a496287707806f6066a31572ea641","author":{"email":"62f164aef48713a583fd58542feeb50731b76716@mit.edu","name":"Lars Johnson"},"message":"Adding simplifier examples.","distinct":true,"url":"https://api.github.com/repos/lrsjohnson/upptackt/commits/9c0ce6ddf25a496287707806f6066a31572ea641"}]}