{"push_id":1024167320,"size":1,"distinct_size":1,"ref":"refs/heads/lock-checker-february-new-complete-changes","head":"1a8e0f07415cfc581dc5f8b4968da2093ca1c820","before":"c0e2983f26ddb38fd7f1e93d8a7bbc32eca2b792","commits":[{"sha":"1a8e0f07415cfc581dc5f8b4968da2093ca1c820","author":{"email":"11a9c377ad093f427b984cb9a06c7323c353265a@cs.washington.edu","name":"Michael Ernst"},"message":"Spacing fixes","distinct":true,"url":"https://api.github.com/repos/typetools/checker-framework/commits/1a8e0f07415cfc581dc5f8b4968da2093ca1c820"}]}