{"push_id":907378918,"size":8,"distinct_size":1,"ref":"refs/heads/travis_ghc-7.10","head":"0cee766948c1a31ac901e595e3097b6d6880f009","before":"22b1e99359f028d56cfdd9cf61b32dc9542b6b85","commits":[{"sha":"cfabcf564c2f9d445654aab40dbcfe78d29e2b7b","author":{"email":"04f3ce9c7562766dff865a8803cb959e80935011@jacobs-university.de","name":"cmaeder"},"message":"added missing dependency","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/cfabcf564c2f9d445654aab40dbcfe78d29e2b7b"},{"sha":"7723556f31fc6d525cb70e86587c4738435aab71","author":{"email":"04f3ce9c7562766dff865a8803cb959e80935011@jacobs-university.de","name":"cmaeder"},"message":"removed programatica","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/7723556f31fc6d525cb70e86587c4738435aab71"},{"sha":"d05c733795c61d2964e7df84c52396b80c82a2db","author":{"email":"04f3ce9c7562766dff865a8803cb959e80935011@jacobs-university.de","name":"cmaeder"},"message":"remove (unneeded?) -fcontext-stack option","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/d05c733795c61d2964e7df84c52396b80c82a2db"},{"sha":"db6af887f634d80de59ae1a53658ee77921a5594","author":{"email":"04f3ce9c7562766dff865a8803cb959e80935011@jacobs-university.de","name":"cmaeder"},"message":"relax layout","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/db6af887f634d80de59ae1a53658ee77921a5594"},{"sha":"d13630025a1b7394838d0a4283c6137a8a182fc7","author":{"email":"04f3ce9c7562766dff865a8803cb959e80935011@jacobs-university.de","name":"cmaeder"},"message":"Merge remote-tracking branch 'origin/master' into missing_dependency","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/d13630025a1b7394838d0a4283c6137a8a182fc7"},{"sha":"dda6d16d7a902875c83528aafea15c8671fadea0","author":{"email":"7fd0fc0600fe7126b582e90ba4900a69707b9842@users.noreply.github.com","name":"cmaeder"},"message":"Merge pull request #1533 from spechub/missing_dependency\n\nadded missing dependency","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/dda6d16d7a902875c83528aafea15c8671fadea0"},{"sha":"f785c27b5fbc4100602469c971a34eb546f7bc9d","author":{"email":"7fd0fc0600fe7126b582e90ba4900a69707b9842@users.noreply.github.com","name":"cmaeder"},"message":"Merge pull request #1554 from spechub/omit_context_stack\n\nremove unneeded -fcontext-stack option","distinct":false,"url":"https://api.github.com/repos/spechub/Hets/commits/f785c27b5fbc4100602469c971a34eb546f7bc9d"},{"sha":"0cee766948c1a31ac901e595e3097b6d6880f009","author":{"email":"04f3ce9c7562766dff865a8803cb959e80935011@jacobs-university.de","name":"cmaeder"},"message":"Merge remote-tracking branch 'origin/master' into travis_ghc-7.10","distinct":true,"url":"https://api.github.com/repos/spechub/Hets/commits/0cee766948c1a31ac901e595e3097b6d6880f009"}]}