{"push_id":794582281,"size":1,"distinct_size":1,"ref":"refs/heads/nailgun-passwd","head":"39c76e4874520e8e9f4944e70ad694aa8741418e","before":"adeae8da8e77be5373f20a4aaa88dff441fafe3a","commits":[{"sha":"39c76e4874520e8e9f4944e70ad694aa8741418e","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix typo","distinct":true,"url":"https://api.github.com/repos/dwightguth/k/commits/39c76e4874520e8e9f4944e70ad694aa8741418e"}]}