{"push_id":542421911,"size":1,"distinct_size":1,"ref":"refs/heads/defdir","head":"696908724b2f6e6120f7e9045872a6ba08f33bae","before":"29d6f699a22828fe4cec3cd61bf63ddc7bc72a36","commits":[{"sha":"696908724b2f6e6120f7e9045872a6ba08f33bae","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"update help message","distinct":true,"url":"https://api.github.com/repos/dwightguth/k/commits/696908724b2f6e6120f7e9045872a6ba08f33bae"}]}