{"push_id":1196766393,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3734d876ff379c5822ee6b1fb37ec6554942e879","before":"8fbe6250a5d6f2cccd8989a4fec6a3ecd7d6fc5d","commits":[{"sha":"3734d876ff379c5822ee6b1fb37ec6554942e879","author":{"name":"Bruno Woltzenlogel Paleo","email":"994dfe1631f3ea182c757c803f73bf57bf2a8081@gmail.com"},"message":"Compress Coq scripts and remove footnote.","distinct":true,"url":"https://api.github.com/repos/FormalTheology/GoedelGod/commits/3734d876ff379c5822ee6b1fb37ec6554942e879"}]}
{"actor":{"display_login":"Ceilican"}}