{"push_id":1282229612,"size":1,"distinct_size":1,"ref":"refs/heads/rigid-tvar-wip","head":"e7365b81c3da0c6109877372ea00f52afcf1b3ae","before":"ebaad81d77318fb1f581c3e0104dcd76328c3be5","commits":[{"sha":"e7365b81c3da0c6109877372ea00f52afcf1b3ae","author":{"name":"Morten Olsen Lysgaard","email":"9d98d8d9fd4e32338aab5a82076081864e3cd5b3@lysgaard.no"},"message":"InferTypes/tests: Added possebility to check programmer type annotations","distinct":true,"url":"https://api.github.com/repos/molysgaard/kontrol/commits/e7365b81c3da0c6109877372ea00f52afcf1b3ae"}]}
{"actor":{"display_login":"molysgaard"}}