{"push_id":3177026658,"size":1,"distinct_size":1,"ref":"refs/heads/rivetss-initial","head":"701d1f9994b6f84e012210b68863ed9283a49364","before":"de1d1fa6f26931a75acb6dd7884a7618d0812fba","commits":[{"sha":"701d1f9994b6f84e012210b68863ed9283a49364","author":{"name":"David B. Lamkins","email":"4bf1166166360b6efed53125811d31262f1ce204@galois.com"},"message":"Checkpoint. Both uxas (base) and task01 (trial disaggregated task) build successfully.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/OpenUxAS/commits/701d1f9994b6f84e012210b68863ed9283a49364"}]}
{"actor":{"display_login":"TieDyedDevil"}}