{"push_id":1787168706,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"f4894d53f06f444ac3464671b1918fae0665f2ed","before":"6c0bf19b8471502770d71104f0a57002fc41387f","commits":[{"sha":"68170973427e6df5181b95ad05356f3b4c969e8d","author":{"name":"Ingo Blechschmidt","email":"d51c81be9f2cbaabce4f2b12d4eda87b918ed5bc@web.de"},"message":"Fill in proof (and fix assumption)","distinct":true,"url":"https://api.github.com/repos/iblech/internal-methods/commits/68170973427e6df5181b95ad05356f3b4c969e8d"},{"sha":"d8937cb9b9b0c1d2bc78c82e43cb0967c28dc150","author":{"name":"Ingo Blechschmidt","email":"d51c81be9f2cbaabce4f2b12d4eda87b918ed5bc@web.de"},"message":"Yay, managed to drop the qcqs hypothesis","distinct":true,"url":"https://api.github.com/repos/iblech/internal-methods/commits/d8937cb9b9b0c1d2bc78c82e43cb0967c28dc150"},{"sha":"fa86f553dd3a003acad44e9f49fc7b13eda89626","author":{"name":"Ingo Blechschmidt","email":"d51c81be9f2cbaabce4f2b12d4eda87b918ed5bc@web.de"},"message":"typo","distinct":true,"url":"https://api.github.com/repos/iblech/internal-methods/commits/fa86f553dd3a003acad44e9f49fc7b13eda89626"},{"sha":"f4894d53f06f444ac3464671b1918fae0665f2ed","author":{"name":"Ingo Blechschmidt","email":"d51c81be9f2cbaabce4f2b12d4eda87b918ed5bc@web.de"},"message":"typo","distinct":true,"url":"https://api.github.com/repos/iblech/internal-methods/commits/f4894d53f06f444ac3464671b1918fae0665f2ed"}]}
{"actor":{"display_login":"iblech"}}