{"push_id":3044791690,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5c284263cea8f22f261802f7a56ad5c129dc55de","before":"b06a1a43e9c8b61355e391173c550880d8056b24","commits":[{"sha":"5c284263cea8f22f261802f7a56ad5c129dc55de","author":{"name":"Christine Rizkallah","email":"926fac3b550ab95f26b5e7434f4afb2c5f6921b7@nicta.com.au"},"message":"proof of StrongSubset_filterVarSet - needed additional RespectsVar assumptions","distinct":true,"url":"https://api.github.com/repos/antalsz/hs-to-coq/commits/5c284263cea8f22f261802f7a56ad5c129dc55de"}]}
{"actor":{"display_login":"crizkallah"}}