{"push_id":2631367477,"size":1,"distinct_size":1,"ref":"refs/heads/decrease-fontsize-techreport","head":"de34b6ba545e04d278912cdcaa4585701be9d53e","before":"a88a5cf4222e5b6916e11728336eb7e3fc4d6860","commits":[{"sha":"de34b6ba545e04d278912cdcaa4585701be9d53e","author":{"name":"Janine Eichler","email":"4c0ff3d95d9ccb0ececfdce4c4b7f76396c69834@gmail.com"},"message":"change font-size of techboxes headers back to 12pt","distinct":true,"url":"https://api.github.com/repos/jeichler/windup/commits/de34b6ba545e04d278912cdcaa4585701be9d53e"}]}
{"actor":{"display_login":"jeichler"}}