{"push_id":2570769795,"size":1,"distinct_size":1,"ref":"refs/heads/clock-change","head":"3431f4ed857afb9376a120334e1521aa9a71d483","before":"926634a202be0cd640177a4a39d1c35bd3f87fb6","commits":[{"sha":"3431f4ed857afb9376a120334e1521aa9a71d483","author":{"name":"Holly Chiang","email":"de0c28cd78072a1d94a1a1af5dae1985f209e69d@stanford.edu"},"message":"weird issue where flash only works when DRIVER_NUM set to 27, hardcoded somewhere?","distinct":true,"url":"https://api.github.com/repos/hchiang/tock/commits/3431f4ed857afb9376a120334e1521aa9a71d483"}]}
{"actor":{"display_login":"hchiang"}}