{"push_id":1246642643,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8bc321d78ed2978a5ba3fb4f46f6cf32e6e9c189","before":"f60edd9c3aaa2e3cebea100e4b13af88096a2908","commits":[{"sha":"8bc321d78ed2978a5ba3fb4f46f6cf32e6e9c189","author":{"name":"xapantu","email":"05e1f5ee25cd2465504f145f36f3aec76b9381ff@xaptop"},"message":"extensionality, typos","distinct":true,"url":"https://api.github.com/repos/xapantu/slides-smt/commits/8bc321d78ed2978a5ba3fb4f46f6cf32e6e9c189"}]}
{"actor":{"display_login":"xapantu"}}