{"push_id":764667905,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"031956e77aa8e721af8015acb9eb73956a3a66e8","before":"68f3a8e4003846fc11aaf8071380355734febf56","commits":[{"sha":"031956e77aa8e721af8015acb9eb73956a3a66e8","author":{"email":"e2cdee8568bbc28a03dfad20b1bb8cae0bb3d43a@ilstu.edu","name":"JP Smith"},"message":"add mirrored","distinct":true,"url":"https://api.github.com/repos/japesinator/Idris-Profunctors/commits/031956e77aa8e721af8015acb9eb73956a3a66e8"}]}