{"push_id":1286105784,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"201bb733abec8ac3fcc0aa97f2e99e17296d5b5a","before":"0c1c10c0a7759f4c4a63f5dfc6d2b333b83d2540","commits":[{"sha":"201bb733abec8ac3fcc0aa97f2e99e17296d5b5a","author":{"name":"Cyrus Omar","email":"59161ef95faacc6464336b9f2d92019418b4ba04@gmail.com"},"message":"revised to add type annotations to spliced term refs throughout, which cleans up Typing reasoning principle","distinct":true,"url":"https://api.github.com/repos/cyrus-/thesis/commits/201bb733abec8ac3fcc0aa97f2e99e17296d5b5a"}]}
{"actor":{"display_login":"cyrus-"}}