{"push_id":946804192,"size":1,"distinct_size":1,"ref":"refs/heads/jhx","head":"dcf2a40617b9abca036ed043a21be1db710763f9","before":"6a10c7e99efb5a5c71f19f85711b43f30175927e","commits":[{"sha":"dcf2a40617b9abca036ed043a21be1db710763f9","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"Remove clock restriction","distinct":true,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/dcf2a40617b9abca036ed043a21be1db710763f9"}]}