{"push_id":2310298605,"size":1,"distinct_size":1,"ref":"refs/heads/ctrl_reqid","head":"30f5267e01107268befec9cceaa5af2f4bf35336","before":"a7a0138b5d35b787b0ab04308d1d6d1689fee471","commits":[{"sha":"30f5267e01107268befec9cceaa5af2f4bf35336","author":{"name":"Stephen Shirley","email":"d54753008c59eda9d4857e1a769c981e52349bdd@gmail.com"},"message":"Update python infra to use CtrlPld.reqId\n\nAlso:\n- Obsolete SegReq.id, as it's no longer useful.\n- Removed a now-unsed random_uint64() function from util, and made a\n  similar one in ctrl_pld.py (which specifically avoids 0 as a value).","distinct":true,"url":"https://api.github.com/repos/kormat/scion/commits/30f5267e01107268befec9cceaa5af2f4bf35336"}]}
{"actor":{"display_login":"kormat"}}