{"push_id":2496091518,"size":3,"distinct_size":3,"ref":"refs/heads/nik_smt_encoding","head":"8381f4639d81c6ac05c21b98480d50b0ea867c47","before":"33ee9d5cba8f855bdb7a5a4c1ea0698dbadb604b","commits":[{"sha":"eeece1f619caad44d9b8a1e2df06dba4fa0a52bc","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/eeece1f619caad44d9b8a1e2df06dba4fa0a52bc"},{"sha":"9e49900be0d78222e4be98edf8feba1f1400c659","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap again","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9e49900be0d78222e4be98edf8feba1f1400c659"},{"sha":"8381f4639d81c6ac05c21b98480d50b0ea867c47","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap again","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/8381f4639d81c6ac05c21b98480d50b0ea867c47"}]}
{"actor":{"display_login":"nikswamy"}}