{"push_id":689058005,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"45dd55b88a6c5a53c2083f3c56a0ee13b5ed721e","before":"8170d0002a8d27d9373efa5d73514373c3ca1156","commits":[{"sha":"45dd55b88a6c5a53c2083f3c56a0ee13b5ed721e","author":{"email":"e2cdee8568bbc28a03dfad20b1bb8cae0bb3d43a@ilstu.edu","name":"JP Smith"},"message":"mnemonic","distinct":true,"url":"https://api.github.com/repos/japesinator/Idris-Bifunctors/commits/45dd55b88a6c5a53c2083f3c56a0ee13b5ed721e"}]}