{"push_id":2894483222,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"50a4ff6856aeecab18a5ea94d18b66d64cce197e","before":"4ab3d54ec97f2dd9cfe229df3023e099a6d1d9f7","commits":[{"sha":"50a4ff6856aeecab18a5ea94d18b66d64cce197e","author":{"name":"Yair Chuchem","email":"a3822c232ae18bb01e2011b587e6edf60d1f0c6c@gmail.com"},"message":"Fix #72: Succinct type variable names\n\nSee https://trello.com/c/zEf2qkR0/72-need-succinct-type-variable-names\n(ticket opened more than 2 years ago!)\n\n* No sensible order of names currently (which is \"a\", \"b\", etc)\n* Need answer for type variables in hole results","distinct":true,"url":"https://api.github.com/repos/lamdu/lamdu/commits/50a4ff6856aeecab18a5ea94d18b66d64cce197e"}]}
{"actor":{"display_login":"yairchu"}}