{"push_id":718445772,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"013d414699babdab7cadf6022e7559b119df6536","before":"9334eed6de8f9273306bae997ae184a07f30284c","commits":[{"sha":"9dab39f880c07957f4f39135457ef06fedf4ee56","author":{"email":"11a9c377ad093f427b984cb9a06c7323c353265a@cs.washington.edu","name":"Michael Ernst"},"message":"Add java.text.MessageFormat to the annotated JDK","distinct":true,"url":"https://api.github.com/repos/typetools/checker-framework/commits/9dab39f880c07957f4f39135457ef06fedf4ee56"},{"sha":"f1fe0a4500bf8f4ee33b0a64c7fa93605ab920ee","author":{"email":"11a9c377ad093f427b984cb9a06c7323c353265a@cs.washington.edu","name":"Michael Ernst"},"message":"Clarify documentatino for -AsafeDefaultsForUnannotatedBytecode","distinct":true,"url":"https://api.github.com/repos/typetools/checker-framework/commits/f1fe0a4500bf8f4ee33b0a64c7fa93605ab920ee"},{"sha":"7def068b0d73f134509296aaafea9196728c85c8","author":{"email":"11a9c377ad093f427b984cb9a06c7323c353265a@cs.washington.edu","name":"Michael Ernst"},"message":"Convert gnu-getopt stub files into an annotated library","distinct":true,"url":"https://api.github.com/repos/typetools/checker-framework/commits/7def068b0d73f134509296aaafea9196728c85c8"},{"sha":"988292da7b6b93539dbf8d654de3d35ba3d62549","author":{"email":"11a9c377ad093f427b984cb9a06c7323c353265a@cs.washington.edu","name":"Michael Ernst"},"message":"Improve README file","distinct":true,"url":"https://api.github.com/repos/typetools/checker-framework/commits/988292da7b6b93539dbf8d654de3d35ba3d62549"},{"sha":"013d414699babdab7cadf6022e7559b119df6536","author":{"email":"11a9c377ad093f427b984cb9a06c7323c353265a@cs.washington.edu","name":"Michael Ernst"},"message":"Remove a reference to eliminated stub file","distinct":true,"url":"https://api.github.com/repos/typetools/checker-framework/commits/013d414699babdab7cadf6022e7559b119df6536"}]}