{"push_id":2437474036,"size":3,"distinct_size":3,"ref":"refs/heads/rmAnnosCommentManual","head":"7a102efe702c15a68d945d630e1950921da9492e","before":"c602542c5ea6f28051d7e1f22580c70d77c0b94a","commits":[{"sha":"03333af8de0bc713356e93be9630102da93fba29","author":{"name":"Suzanne Millstein","email":"cd31358a6f7e6d71a674b6b7e3e0ffa6dd14d2c8@cs.washington.edu"},"message":"Use javac.jar rather than tools.jar","distinct":true,"url":"https://api.github.com/repos/smillst/checker-framework/commits/03333af8de0bc713356e93be9630102da93fba29"},{"sha":"04bb6f68d46ddefe992ff6cfa3bb757a884e7f37","author":{"name":"Suzanne Millstein","email":"cd31358a6f7e6d71a674b6b7e3e0ffa6dd14d2c8@cs.washington.edu"},"message":"Correct allJavadoc task.\n\nAlso, add dejavu.css.","distinct":true,"url":"https://api.github.com/repos/smillst/checker-framework/commits/04bb6f68d46ddefe992ff6cfa3bb757a884e7f37"},{"sha":"7a102efe702c15a68d945d630e1950921da9492e","author":{"name":"Suzanne Millstein","email":"cd31358a6f7e6d71a674b6b7e3e0ffa6dd14d2c8@cs.washington.edu"},"message":"Remove mention of annotations in comments from manual.","distinct":true,"url":"https://api.github.com/repos/smillst/checker-framework/commits/7a102efe702c15a68d945d630e1950921da9492e"}]}
{"actor":{"display_login":"smillst"}}