{"push_id":3101104588,"size":2,"distinct_size":2,"ref":"refs/heads/develop","head":"aa2f7df7fc2667dbb250966c218b0672309d33e8","before":"085fc996380b0e1db878c87f29203b3aaa9fd468","commits":[{"sha":"4274761a5c264a45b6e4ba3bdd0d3ad72e120916","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"extractbits_exprt has a single correct operand order\n\nLet's not trade some sort of \"userfriendliness\" for an unclear semantics.","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/4274761a5c264a45b6e4ba3bdd0d3ad72e120916"},{"sha":"aa2f7df7fc2667dbb250966c218b0672309d33e8","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3497 from tautschnig/extractbits\n\nextractbits_exprt has a single correct operand order","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/aa2f7df7fc2667dbb250966c218b0672309d33e8"}]}
{"actor":{"display_login":"tautschnig"}}