{"push_id":2804479418,"size":1,"distinct_size":0,"ref":"refs/heads/wip","head":"7910ffbab5e7ff3b8fd8d624c4d6795725ca7215","before":"dbe5aa0e9abc3ac0133d2c4afddb4b71d7d6bb77","commits":[{"sha":"7910ffbab5e7ff3b8fd8d624c4d6795725ca7215","author":{"name":"sjoerd-vogel","email":"f7bf5c5ca3908e8f6e3c2ee4b9b0226ec324fddb@users.noreply.github.com"},"message":"added dia theorem to propl","distinct":false,"url":"https://api.github.com/repos/sjoerd-vogel/mathex/commits/7910ffbab5e7ff3b8fd8d624c4d6795725ca7215"}]}
{"actor":{"display_login":"sjoerd-vogel"}}