{"push_id":2621700092,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2b6c9c85914e27cba950d8731b4e3a99b19364e3","before":"34ce8058fc42184688e332b75fd574c0a05d7e05","commits":[{"sha":"2b6c9c85914e27cba950d8731b4e3a99b19364e3","author":{"name":"Christine Rizkallah","email":"0b3c88ae2a3f74fbbd06b69725b6cc41dc08751c@seas.upenn.edu"},"message":"some work on unit_FV_WF -- and adding some necessary axioms about IntMap","distinct":true,"url":"https://api.github.com/repos/antalsz/hs-to-coq/commits/2b6c9c85914e27cba950d8731b4e3a99b19364e3"}]}
{"actor":{"display_login":"crizkallah"}}