{"push_id":990373821,"size":2,"distinct_size":2,"ref":"refs/heads/refactor_types","head":"6ea796fda1a07b8b5f54241104b6743279497ab1","before":"9a48f049e352e8537aa78aeb601e8b7af990aa83","commits":[{"sha":"64df0e75a5f80afcfad4713cea87e1a889b84fa4","author":{"email":"51363973934d995771ded86934ab654fc82840fb@cs.ucsd.edu","name":"Panagiotis Vekris"},"message":"Cleaned up some more tests","distinct":true,"url":"https://api.github.com/repos/UCSD-PL/refscript/commits/64df0e75a5f80afcfad4713cea87e1a889b84fa4"},{"sha":"6ea796fda1a07b8b5f54241104b6743279497ab1","author":{"email":"51363973934d995771ded86934ab654fc82840fb@cs.ucsd.edu","name":"Panagiotis Vekris"},"message":"Merge branch 'refactor_types' of github.com:UCSD-PL/refscript into refactor_types","distinct":true,"url":"https://api.github.com/repos/UCSD-PL/refscript/commits/6ea796fda1a07b8b5f54241104b6743279497ab1"}]}