{"push_id":1214543849,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"845dc925a24569b764e5e2898409afce29fbc204","before":"405e5d99eb656e83adbe178d9d1dff8c95c2ee1a","commits":[{"sha":"36d81a92833a90e7676531d0cc4184db735de68d","author":{"name":"Michael Salter","email":"713289efb12a9c78a73604fad7961f0934d8336b@pdx.edu"},"message":"Updated syntax for declaring variables in conditions. Also updated\nexisting examples with proper usage (although some examples still panic,\nbut for other reasons).","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/36d81a92833a90e7676531d0cc4184db735de68d"},{"sha":"1907e68daf224dc7ef45b60bf3f91e2d44c95432","author":{"name":"Michael Salter","email":"713289efb12a9c78a73604fad7961f0934d8336b@users.noreply.github.com"},"message":"Merge branch 'master' into master","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/1907e68daf224dc7ef45b60bf3f91e2d44c95432"},{"sha":"845dc925a24569b764e5e2898409afce29fbc204","author":{"name":"Matthew Slocum","email":"5ce065d73aa2ed76999588563591d1a2bb08125f@gmail.com"},"message":"Merge pull request #128 from salterm/master\n\nUpdated syntax for declaring variables in conditions. Also updated","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/845dc925a24569b764e5e2898409afce29fbc204"}]}
{"actor":{"display_login":"arc3x"}}