{"push_id":2584478069,"size":2,"distinct_size":1,"ref":"refs/heads/cwinter_designated_initializers","head":"5c9cbc93f06ded7c02b767c2576d48dbc024286d","before":"9853f14ccfb8ecfe8a582e4a41bb4ea7e5d8f5e9","commits":[{"sha":"03c910a11de178f486c28de693a0da40dbdfd120","author":{"name":"Jonathan Protzenko","email":"cfb2ac0f41b3a66a8c4e34a72520665f71d5038c@microsoft.com"},"message":"Hints + fix testsuite","distinct":false,"url":"https://api.github.com/repos/FStarLang/kremlin/commits/03c910a11de178f486c28de693a0da40dbdfd120"},{"sha":"5c9cbc93f06ded7c02b767c2576d48dbc024286d","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Removed designated initializers when -fc89 is on.","distinct":true,"url":"https://api.github.com/repos/FStarLang/kremlin/commits/5c9cbc93f06ded7c02b767c2576d48dbc024286d"}]}
{"actor":{"display_login":"wintersteiger"}}