{"push_id":3114697199,"size":1,"distinct_size":1,"ref":"refs/heads/specialized","head":"b238f45c067f1611520d3e604503ebbad39cbd60","before":"a1604c3f728510f28af0638679c36f732000a504","commits":[{"sha":"b238f45c067f1611520d3e604503ebbad39cbd60","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"anywhere rules handled correctly for dt specialization","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/b238f45c067f1611520d3e604503ebbad39cbd60"}]}
{"actor":{"display_login":"dwightguth"}}