{"push_id":2887420126,"size":1,"distinct_size":1,"ref":"refs/heads/ast-prop-verif","head":"14647da06143b19bf7fb6c4e87c39691778c4d59","before":"06becab4ecb423881d57cb58a419fc9d41f1c213","commits":[{"sha":"14647da06143b19bf7fb6c4e87c39691778c4d59","author":{"name":"Maxwell Bland","email":"66a180ba3d1a1e135062fe4d5af1552055fcff67@ucsd.edu"},"message":"Clean up isExtCond, and fix issues with type equality","distinct":true,"url":"https://api.github.com/repos/BillHallahan/G2/commits/14647da06143b19bf7fb6c4e87c39691778c4d59"}]}
{"actor":{"display_login":"maxwell-bland"}}