{"push_id":995527216,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3885b39cb1a30338833e7b25b1beea8b4efbc481","before":"9641624e82beb70ebeadad958661238b9469f25e","commits":[{"sha":"3885b39cb1a30338833e7b25b1beea8b4efbc481","author":{"email":"08fe1c50c3168cdac527aec7c2e169f8ba2fa525@chalmers.se","name":"Aarne Ranta"},"message":"type checker in TTR","distinct":true,"url":"https://api.github.com/repos/GrammaticalFramework/gf-contrib/commits/3885b39cb1a30338833e7b25b1beea8b4efbc481"}]}