{"push_id":840942278,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0b074c33362815337dbddfbf375fc380e2fb9d05","before":"4c440546843179a75ad78d37a7fbae972ecc12a7","commits":[{"sha":"0b074c33362815337dbddfbf375fc380e2fb9d05","author":{"email":"95ca3332724fbb58a2be2ad61a0015b50621dd4b@op.pl","name":"michal3141"},"message":"repr.py: Converting FACTORIZATION into SATISFIABILITY: some bugs still\n.gitignore: Ignoring *.pyc files","distinct":true,"url":"https://api.github.com/repos/michal3141/sat/commits/0b074c33362815337dbddfbf375fc380e2fb9d05"}]}