{"push_id":624558147,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"143ea82bc349f478d2f7865f357a668c00727abc","before":"896a105b774348b9348c571b09524fae772b2086","commits":[{"sha":"143ea82bc349f478d2f7865f357a668c00727abc","author":{"email":"c9c906d5a5fa5994f337437e52ea319348ca5e9a@gmail.com","name":"Ligia Nistor"},"message":"put finalizers example in its own file","distinct":true,"url":"https://api.github.com/repos/ligianistor/boogie/commits/143ea82bc349f478d2f7865f357a668c00727abc"}]}