{"push_id":2899948157,"size":1,"distinct_size":1,"ref":"refs/heads/fixes","head":"789ce32580c6fbbd9c9baf63265fc799ed4fb9da","before":"d1d43a1eff77cb31bc6fa9b748ffd0f446db2f95","commits":[{"sha":"789ce32580c6fbbd9c9baf63265fc799ed4fb9da","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"fix duplicate production error in callcc exercises","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/789ce32580c6fbbd9c9baf63265fc799ed4fb9da"}]}
{"actor":{"display_login":"dwightguth"}}