payload: {"push_id":4098651948,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"13dcb90840afd57745a33d7335a65a662c96c933","before":"752dcbfac04354da65782208556715ac07825d6c","commits":[{"sha":"cd00bac219f5c2a0f8e39a0edcc39dcf145aa491","author":{"name":"Michael Arntzenius","email":"639f49b61206381f30c0a9dde88a794706060536@gmail.com"},"message":"implement most of the rest of the type checker","distinct":true,"url":"https://api.github.com/repos/rntz/datafun/commits/cd00bac219f5c2a0f8e39a0edcc39dcf145aa491"},{"sha":"7d19ed6531639afac18206d963890e255cbc0ef8","author":{"name":"Michael Arntzenius","email":"639f49b61206381f30c0a9dde88a794706060536@gmail.com"},"message":"get ready for removing old bidirectional checker","distinct":true,"url":"https://api.github.com/repos/rntz/datafun/commits/7d19ed6531639afac18206d963890e255cbc0ef8"},{"sha":"13dcb90840afd57745a33d7335a65a662c96c933","author":{"name":"Michael Arntzenius","email":"639f49b61206381f30c0a9dde88a794706060536@gmail.com"},"message":"remove old bidirectional checker","distinct":true,"url":"https://api.github.com/repos/rntz/datafun/commits/13dcb90840afd57745a33d7335a65a662c96c933"}]}
other: {"actor":{"display_login":"rntz"}}