{"push_id":2852322991,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"948ff4e4bd7eaf2708e61d90de4b71ee7e8f3f93","before":"b1c538fd64fa9a5817b30653012c41252b6f8517","commits":[{"sha":"948ff4e4bd7eaf2708e61d90de4b71ee7e8f3f93","author":{"name":"Tej Chajed","email":"632daa7ab18e8564ba528fd9b2807b92ca04cdea@mit.edu"},"message":"Add Intuition Negation Unfolding","distinct":true,"url":"https://api.github.com/repos/tchajed/coq-tricks/commits/948ff4e4bd7eaf2708e61d90de4b71ee7e8f3f93"}]}
{"actor":{"display_login":"tchajed"}}