{"push_id":811282545,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"05ff8c05580543008bbde1bca22cac2da0f5a1e3","before":"3572eaace3ef2635e993438f0a9ae963c5699cc1","commits":[{"sha":"05ff8c05580543008bbde1bca22cac2da0f5a1e3","author":{"email":"fe544103cfb4b62095445bacdfce7634a99e5ab7@vub.ac.be","name":"Dylan Meysmans"},"message":"Prove override_example","distinct":true,"url":"https://api.github.com/repos/dmeysman/pierce-2015-software/commits/05ff8c05580543008bbde1bca22cac2da0f5a1e3"}]}