{"push_id":959657401,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"84f956fefc682eac2471a3e8006fdec1bcc03952","before":"02e38b40c73bb99e757871d1797774d465e8e27c","commits":[{"sha":"84f956fefc682eac2471a3e8006fdec1bcc03952","author":{"email":"2ad3721070aa0bb4f1be2c222edfe780f4f11281@cs.washington.edu","name":"Javier Thaine"},"message":"Update Eclipse plug-in version numbers for release","distinct":true,"url":"https://api.github.com/repos/typetools/checker-framework/commits/84f956fefc682eac2471a3e8006fdec1bcc03952"}]}