{"push_id":1222807111,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9a4307a0e6de305ea725313bb2b44074e2896669","before":"d9f555603ca3dcf76b952e8b0e7981455ffdf97b","commits":[{"sha":"9a4307a0e6de305ea725313bb2b44074e2896669","author":{"name":"Miëtek Bak","email":"03afa8c84d37f32c45173fbdb7cdf279eaab9f7a@bak.io"},"message":"Add soundness proofs for dual-context IS4","distinct":true,"url":"https://api.github.com/repos/mietek/hilbert-gentzen/commits/9a4307a0e6de305ea725313bb2b44074e2896669"}]}
{"actor":{"display_login":"mietek"}}