{"push_id":893279120,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"367a4799542cbb5361321dcf387ff23e3e8347f5","before":"38ab4c5fec1d47d2781e8f11080563ce18dbd8d5","commits":[{"sha":"367a4799542cbb5361321dcf387ff23e3e8347f5","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Work on principal composition","distinct":true,"url":"https://api.github.com/repos/jbracker/polymonad-proofs/commits/367a4799542cbb5361321dcf387ff23e3e8347f5"}]}