{"push_id":913878749,"size":1,"distinct_size":1,"ref":"refs/heads/hotfix/rename-common-syntax-modules","head":"282734c693454b83a5b037958f056652c27ec724","before":"901f07c339dd4eeda988079dbd9875e185a07273","commits":[{"sha":"282734c693454b83a5b037958f056652c27ec724","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"fix for kernelc","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/282734c693454b83a5b037958f056652c27ec724"}]}