{"push_id":2890275716,"size":2,"distinct_size":2,"ref":"refs/heads/develop","head":"6e3ac874f67f5e0c58bb7b87e990314683516945","before":"6bfb20d50e9ace9b6e83ec18dd4314b80fc7318a","commits":[{"sha":"2c16231b48cc67a63a5410e7457a7150419bc21d","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"fix for const-nesss of member expressions","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/2c16231b48cc67a63a5410e7457a7150419bc21d"},{"sha":"6e3ac874f67f5e0c58bb7b87e990314683516945","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #2927 from diffblue/const-member\n\nfix for const-nesss of member expressions","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/6e3ac874f67f5e0c58bb7b87e990314683516945"}]}
{"actor":{"display_login":"tautschnig"}}