{"push_id":2409465804,"size":1,"distinct_size":1,"ref":"refs/heads/audit","head":"7d9bd380be7f91147d23036c55b3a625758657d4","before":"96a1210f0557b45d086c1b10b4a6605cd6d267db","commits":[{"sha":"7d9bd380be7f91147d23036c55b3a625758657d4","author":{"name":"James Dabbs","email":"be7c5287010ad04ee26030cbe2d0af3dbd53509e@gmail.com"},"message":"Remove non-theorem","distinct":true,"url":"https://api.github.com/repos/pi-base/data/commits/7d9bd380be7f91147d23036c55b3a625758657d4"}]}
{"actor":{"display_login":"jamesdabbs"}}