{"head":"38955552eeaf86c9c2cf4aeb81fede2ccb656956","size":1,"push_id":45890551,"shas":[["38955552eeaf86c9c2cf4aeb81fede2ccb656956","5563dea00b512e5bcc754ba4c7ee0072683408f3@gmail.com","error-checking on TCIs","Steinar Vittersø Kaldager"]],"ref":"refs/heads/master"}