{"push_id":1462933768,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"52f21cfeddb34ee7a5cb79ffb622b49d6d4ba346","before":"08e4fa64d49644457c8b5705633a6ffa49059e6b","commits":[{"sha":"52f21cfeddb34ee7a5cb79ffb622b49d6d4ba346","author":{"name":"Jean-Philippe Bernardy","email":"9a09bf77601c2826a29eb21f1730079f247144ec@gmail.com"},"message":"complete subtyping rules","distinct":true,"url":"https://api.github.com/repos/GU-CLASP/ttr/commits/52f21cfeddb34ee7a5cb79ffb622b49d6d4ba346"}]}
{"actor":{"display_login":"jyp"}}