{"push_id":919013352,"size":8,"distinct_size":1,"ref":"refs/heads/errloc","head":"4ada82fd87931fa960fb2f07bd399cd975b577f2","before":"86be87ab535da4eab6ec0c3ece154f9db49e2c30","commits":[{"sha":"d30f63caf1b41a1369ec8ebbcbc1acf9790dc886","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"Fix testCmd string","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/d30f63caf1b41a1369ec8ebbcbc1acf9790dc886"},{"sha":"012087adf27aaf9fbe1002f17dc81277fb5feba0","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"Bare/Check done","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/012087adf27aaf9fbe1002f17dc81277fb5feba0"},{"sha":"4f3ee119b2c0b15db5a6444362784dd8434e584d","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"some work done","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/4f3ee119b2c0b15db5a6444362784dd8434e584d"},{"sha":"4b32f408a366e24718fa9751001993af1fe60b4b","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"new error API should be firmed up","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/4b32f408a366e24718fa9751001993af1fe60b4b"},{"sha":"fab2d5e17a7b6bfe9fc7b5425f68cd4ca7590f0a","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"Merge branch 'errloc' into eliminate-errorstar\n\nConflicts:\n\tsrc/Language/Haskell/Liquid/UX/Errors.hs","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/fab2d5e17a7b6bfe9fc7b5425f68cd4ca7590f0a"},{"sha":"152235f86c3c9c3f4fba7baceb1953047e8b9c99","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"Finished merging @rjhala's new panic interface with mine","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/152235f86c3c9c3f4fba7baceb1953047e8b9c99"},{"sha":"ef6ef8a876aee2183db0aacf565a016f55ead5b3","author":{"email":"11589af7df9a2b4e5d0d8a76e9df0ddf112f4884@users.noreply.github.com","name":"Chris Tetreault"},"message":"Merge pull request #553 from ucsd-progsys/errloc\n\nResolve errorloc conflicts prior to merge","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/ef6ef8a876aee2183db0aacf565a016f55ead5b3"},{"sha":"4ada82fd87931fa960fb2f07bd399cd975b577f2","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Merge pull request #555 from ucsd-progsys/eliminate-errorstar\n\nMerge new panic api's","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/4ada82fd87931fa960fb2f07bd399cd975b577f2"}]}