{"push_id":579203692,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4b277858d821197b436fae21fa10c3ae43a44b45","before":"737e62801434bcb0c5f001a1608a5f33b038a14c","commits":[{"sha":"4b277858d821197b436fae21fa10c3ae43a44b45","author":{"email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none","name":"blanchet"},"message":"removed | | around \\delta in \"\\delta is finite\" -- better stay syntactic","distinct":true,"url":"https://api.github.com/repos/ajreynol/CoDatatypeDP/commits/4b277858d821197b436fae21fa10c3ae43a44b45"}]}