{"push_id":1464494317,"size":1,"distinct_size":1,"ref":"refs/heads/c_record_planA","head":"858f5f7c195d5b04057145498ac557bf855e2863","before":"458ef6c184082d3b8c5a942d22eadfa9216e3551","commits":[{"sha":"858f5f7c195d5b04057145498ac557bf855e2863","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"tweak","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/858f5f7c195d5b04057145498ac557bf855e2863"}]}
{"actor":{"display_login":"nikswamy"}}