{"push_id":1165418148,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3ffd6f2ed3de41cb105a23947b3d31a736f27111","before":"d00283656db81722a75b692e66a638a421305229","commits":[{"sha":"3ffd6f2ed3de41cb105a23947b3d31a736f27111","author":{"name":"Austin Zheng","email":"bfc2d314138d74f9d79aab5526cc097a3c1de930@gmail.com"},"message":"Renaming `NumericType` to `Number`. Several small fixes.","distinct":true,"url":"https://api.github.com/repos/austinzheng/Lambdatron/commits/3ffd6f2ed3de41cb105a23947b3d31a736f27111"}]}
{"actor":{"display_login":"austinzheng"}}