{"push_id":1934637024,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"68487273d983b115743549fb66a0ef5578c53996","before":"87b7881609794a4a02d56d6cbf888d7a59c8480a","commits":[{"sha":"68487273d983b115743549fb66a0ef5578c53996","author":{"name":"Alex Gryzlov","email":"044130248a5b561160c35932af285abafc5bd8dc@adform.com"},"message":"subtraction proofs","distinct":true,"url":"https://api.github.com/repos/clayrat/idris-bi/commits/68487273d983b115743549fb66a0ef5578c53996"}]}
{"actor":{"display_login":"clayrat"}}