{"push_id":2653997818,"size":1,"distinct_size":1,"ref":"refs/heads/fun-language","head":"d7f71d5b913681b402e44d73cce6602135d9315f","before":"01fa69f76361f71eb74919c85721302b50c8f2bc","commits":[{"sha":"d7f71d5b913681b402e44d73cce6602135d9315f","author":{"name":"Everett Hildenbrandt","email":"28f4d9b8ba76763b288654de2b68483a1f1224df@illinois.edu"},"message":"fun: tag lookup and assignment for #normal rules","distinct":true,"url":"https://api.github.com/repos/kframework/kat/commits/d7f71d5b913681b402e44d73cce6602135d9315f"}]}
{"actor":{"display_login":"ehildenb"}}