{"push_id":1477569131,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"2e5f0fbfa3fecfd8913edad68fac6e3ac4d20b0e","before":"8169f58687f84f6c517d5ce980f8e0db253a6d78","commits":[{"sha":"3e10e37c8d4a26d18755c53f0284c3eaffb238ee","author":{"name":"betim1988","email":"2d87ce633af1389a8fc783fa5fea2b76114da0fa@informatik.uni-freiburg.de"},"message":"abstract invariant pattern introduced","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/3e10e37c8d4a26d18755c53f0284c3eaffb238ee"},{"sha":"2e5f0fbfa3fecfd8913edad68fac6e3ac4d20b0e","author":{"name":"betim1988","email":"2d87ce633af1389a8fc783fa5fea2b76114da0fa@informatik.uni-freiburg.de"},"message":"Merge branch 'dev' of https://github.com/ultimate-pa/ultimate into dev","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/2e5f0fbfa3fecfd8913edad68fac6e3ac4d20b0e"}]}
{"actor":{"display_login":"betim1988"}}