{"push_id":791843544,"size":3,"distinct_size":2,"ref":"refs/heads/implementation","head":"6dcdb8000952ade2fe8fb054567d7673152fbec2","before":"2471a7d206304ea547e3b6e5f9108c7adf7c56af","commits":[{"sha":"f642620cfdbea550ce430c06171d4e1b384e20b7","author":{"email":"11a9c377ad093f427b984cb9a06c7323c353265a@cs.washington.edu","name":"Michael Ernst"},"message":"Mike's edits","distinct":false,"url":"https://api.github.com/repos/jthaine/checker-framework/commits/f642620cfdbea550ce430c06171d4e1b384e20b7"},{"sha":"1e4b4524d1d09516aa1fa6f7f6c3067c668f6b1d","author":{"email":"2ad3721070aa0bb4f1be2c222edfe780f4f11281@cs.washington.edu","name":"Javier Thaine"},"message":"Backup of latest changes","distinct":true,"url":"https://api.github.com/repos/jthaine/checker-framework/commits/1e4b4524d1d09516aa1fa6f7f6c3067c668f6b1d"},{"sha":"6dcdb8000952ade2fe8fb054567d7673152fbec2","author":{"email":"2ad3721070aa0bb4f1be2c222edfe780f4f11281@cs.washington.edu","name":"Javier Thaine"},"message":"Merge branch 'master' into implementation","distinct":true,"url":"https://api.github.com/repos/jthaine/checker-framework/commits/6dcdb8000952ade2fe8fb054567d7673152fbec2"}]}