{"push_id":887527636,"size":1,"distinct_size":1,"ref":"refs/heads/perf-mon","head":"e793b25e663ad09a8a5c5fe467a9950fcb017ca4","before":"b3f2de9a69883e861150eaf92d0a9a33b849d85e","commits":[{"sha":"e793b25e663ad09a8a5c5fe467a9950fcb017ca4","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"no longer generating empty logs on failure\n\nthis was causing issue: https://github.com/nomeata/gipeda/issues/28\n\nrefresh_repo now checks out head instead of some commit, this was also\ncausing bad things to happen","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/e793b25e663ad09a8a5c5fe467a9950fcb017ca4"}]}