{"push_id":2526272957,"size":2,"distinct_size":2,"ref":"refs/heads/nik_rel","head":"18b9e9ed1732ad9aa425771bdf5032d5707d8de8","before":"997ad7e42f850e255c1ac836b79540af97e26946","commits":[{"sha":"23317b4703bafaa7e07b78bf1155d44dd0331d93","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"fix a bug in the typing of quasi_patterns","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/23317b4703bafaa7e07b78bf1155d44dd0331d93"},{"sha":"18b9e9ed1732ad9aa425771bdf5032d5707d8de8","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/18b9e9ed1732ad9aa425771bdf5032d5707d8de8"}]}
{"actor":{"display_login":"nikswamy"}}