{"push_id":3159670040,"size":1,"distinct_size":1,"ref":"refs/heads/functionEqs","head":"ff380226aac6ef6b97e0c1ebd880d8ca5e48560f","before":"51d77faafd1a6dd3f524bf37b580b13be29636b0","commits":[{"sha":"ff380226aac6ef6b97e0c1ebd880d8ca5e48560f","author":{"name":"vilem","email":"05e48ed8dc3f12f2e7320f0c3bc488486d54a8d7@kent.ac.uk"},"message":"Push lhs of implications into innermost forall","distinct":true,"url":"https://api.github.com/repos/granule-project/granule/commits/ff380226aac6ef6b97e0c1ebd880d8ca5e48560f"}]}
{"actor":{"display_login":"buggymcbugfix"}}