{"push_id":545801213,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2aa8ee84ad887461607720ae4f537692772bcde6","before":"4c3b135c3b3623954bc0bc5f65cc3275ed7dd22c","commits":[{"sha":"1af8fad844bd24ce6088f43e7fff97d3071036ac","author":{"email":"51363973934d995771ded86934ab654fc82840fb@dude","name":"Panagiotis Vekris"},"message":"Fixing cabal to get hdevtools to work again","distinct":true,"url":"https://api.github.com/repos/UCSD-PL/RefScript/commits/1af8fad844bd24ce6088f43e7fff97d3071036ac"},{"sha":"2aa8ee84ad887461607720ae4f537692772bcde6","author":{"email":"51363973934d995771ded86934ab654fc82840fb@dude","name":"Panagiotis Vekris"},"message":"Fixing TVar scope bug","distinct":true,"url":"https://api.github.com/repos/UCSD-PL/RefScript/commits/2aa8ee84ad887461607720ae4f537692772bcde6"}]}