{"push_id":1313067106,"size":3,"distinct_size":3,"ref":"refs/heads/list-verification","head":"4a6e1303fe6a997a4cef2bfdf09020b3d8abf6a5","before":"f8acc3fc27dcf95eaf9f6c313ddb4414c914e41d","commits":[{"sha":"70e366013139f918d0f57afcb80ee575b18b55e9","author":{"name":"Andrei Stefanescu","email":"a01dcf48a8f65ceceaa8cb1c9509135310040cb8@gmail.com"},"message":"do not apply assoc-comm to assoc transformaion of pattern-folding rules","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/70e366013139f918d0f57afcb80ee575b18b55e9"},{"sha":"ca82a48d6a8efd6fde7ad3209f0241d916cc79b3","author":{"name":"Andrei Stefanescu","email":"a01dcf48a8f65ceceaa8cb1c9509135310040cb8@gmail.com"},"message":"normalize assoc-comm klabels to have exactly two children","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/ca82a48d6a8efd6fde7ad3209f0241d916cc79b3"},{"sha":"4a6e1303fe6a997a4cef2bfdf09020b3d8abf6a5","author":{"name":"Andrei Stefanescu","email":"a01dcf48a8f65ceceaa8cb1c9509135310040cb8@gmail.com"},"message":"convert _Map_ to BuiltinMap representation","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/4a6e1303fe6a997a4cef2bfdf09020b3d8abf6a5"}]}
{"actor":{"display_login":"andreistefanescu"}}