{"push_id":2086917599,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"817b31e76b71c7c7fb163210c8c108cb12c3ab6a","before":"967076244b75f7364be424110e64f7d87c621229","commits":[{"sha":"817b31e76b71c7c7fb163210c8c108cb12c3ab6a","author":{"name":"Tim J. Baumann","email":"7ec668561ebcdf298c8776d3f421b12206da9bfe@timbaumann.info"},"message":"tactics for dealing with negation","distinct":true,"url":"https://api.github.com/repos/timjb/set-theory-prover/commits/817b31e76b71c7c7fb163210c8c108cb12c3ab6a"}]}
{"actor":{"display_login":"timjb"}}