{"push_id":2384827840,"size":1,"distinct_size":1,"ref":"refs/heads/nondet-checker","head":"f0757448afbfb7368b586698e78127ddc1b02da1","before":"9918431adbdeed6c738072d57ea68d2372196394","commits":[{"sha":"f0757448afbfb7368b586698e78127ddc1b02da1","author":{"name":"Rashmi","email":"bf3e20f340f85d6c12664ebb515365f53ea204b8@D-108-179-130-56.dhcp4.washington.edu"},"message":"edits for manual","distinct":true,"url":"https://api.github.com/repos/t-rasmud/checker-framework/commits/f0757448afbfb7368b586698e78127ddc1b02da1"}]}
{"actor":{"display_login":"t-rasmud"}}