{"push_id":744682509,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b86569313c8bdd8d4cb8984e18f8c5c9177e6286","before":"be9e77b2efa8a6110e6a37172139862472714c10","commits":[{"sha":"b86569313c8bdd8d4cb8984e18f8c5c9177e6286","author":{"email":"a388dec7487de375c41c55fbd73533ee889d1fe5@googlemail.com","name":"Jonathan Schwarz"},"message":"complete gsipp proof","distinct":true,"url":"https://api.github.com/repos/jonathan-schwarz/manoeuvre-planning-thesis/commits/b86569313c8bdd8d4cb8984e18f8c5c9177e6286"}]}