{"push_id":2066474459,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4dee366fa7ff267ab7227e9780a61b54a9b5c73a","before":"ad1bb7ac8f6870bf89e5228c1cc829f3ec923f64","commits":[{"sha":"4dee366fa7ff267ab7227e9780a61b54a9b5c73a","author":{"name":"whonore","email":"f6d9f6edaaec1c24dff9b590ca750d30d4311263@gmail.com"},"message":"change docstring to triple double-quotes, comments in coqtop.py","distinct":true,"url":"https://api.github.com/repos/whonore/Coqtail/commits/4dee366fa7ff267ab7227e9780a61b54a9b5c73a"}]}
{"actor":{"display_login":"whonore"}}