{"push_id":543322580,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"48ddb1d06a012bbd28cc0194628fb4053c2adb5c","before":"c1ea7830dabd78d3af9160b3ce1312c8afce5bfa","commits":[{"sha":"48ddb1d06a012bbd28cc0194628fb4053c2adb5c","author":{"email":"4b8373d016f277527198385ba72fda0feb5da015@muehlbacher.me","name":"petermuehlbacher"},"message":"added proof of fFP being adjoint to bFP","distinct":true,"url":"https://api.github.com/repos/petermuehlbacher/thesis/commits/48ddb1d06a012bbd28cc0194628fb4053c2adb5c"}]}