{"push_id":661571612,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"41621c648137ad93ba6264124cb0324fdf69d423","before":"e9b3169843577d2fd8ebfa35df9bfb9b3b573063","commits":[{"sha":"41621c648137ad93ba6264124cb0324fdf69d423","author":{"email":"3b42ec3206eb5a1e7033693eeea78ef937bc3aeb@gmail.com","name":"corwin"},"message":"UI: Write proof details to Mongo, with markup. Currently disabled\nthough.\nDEVELOP: Proved antisymmetry of sample order relation.","distinct":true,"url":"https://api.github.com/repos/corwin-of-amber/bellmaniac/commits/41621c648137ad93ba6264124cb0324fdf69d423"}]}