{"push_id":1989178461,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5b115497d012953a12d286025c8d75f079926007","before":"a88ded179cfc5d2205dc579d741b597f8cc9cb5e","commits":[{"sha":"5b115497d012953a12d286025c8d75f079926007","author":{"name":"Catalin Hritcu","email":"a7566126cc1064d313ddd460698b66ca9da4e580@gmail.com"},"message":"Make ICFP 2017 reference paper more prominent","distinct":true,"url":"https://api.github.com/repos/FStarLang/kremlin/commits/5b115497d012953a12d286025c8d75f079926007"}]}
{"actor":{"display_login":"catalin-hritcu"}}