{"push_id":1126555377,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"f57c0c9b29c7d21e824e9239143caa392bad99b5","before":"07bc36ce85c8354b87daa69fd5fadd1343f0bb6f","commits":[{"sha":"be1ceefdecae7937b7affcb9f9b773e85a4962ff","author":{"email":"d8f0519a65aee66431d2faccccde845f430a2f6d@student.aau.dk","name":"Lasse S. J"},"message":"Corrected section 4.1 invariant proof","distinct":true,"url":"https://api.github.com/repos/Predempsion/semester8/commits/be1ceefdecae7937b7affcb9f9b773e85a4962ff"},{"sha":"f57c0c9b29c7d21e824e9239143caa392bad99b5","author":{"email":"d8f0519a65aee66431d2faccccde845f430a2f6d@student.aau.dk","name":"Lasse S. J"},"message":"Merge branch 'master' of github.com:Predempsion/semester8","distinct":true,"url":"https://api.github.com/repos/Predempsion/semester8/commits/f57c0c9b29c7d21e824e9239143caa392bad99b5"}]}
{"actor":{"display_login":"lasjen88"}}