{"push_id":727258952,"size":2,"distinct_size":2,"ref":"refs/heads/JackBranch","head":"ddeb94229c7fec599b60c4d2c6521c300268c1ad","before":"e18640b6d3720535e1bec3e5c8938e66876d223e","commits":[{"sha":"9ddec13650272e3ac85dec5e253549c2ba6e6715","author":{"email":"53ac917bfdc57037fe1ddce718c08ee510de4352@gmail.com","name":"jackgoffinet"},"message":"functional uct.c (except for branching vars)","distinct":true,"url":"https://api.github.com/repos/jackgoffinet/MAX-SAT/commits/9ddec13650272e3ac85dec5e253549c2ba6e6715"},{"sha":"ddeb94229c7fec599b60c4d2c6521c300268c1ad","author":{"email":"53ac917bfdc57037fe1ddce718c08ee510de4352@gmail.com","name":"jackgoffinet"},"message":"working on command line support","distinct":true,"url":"https://api.github.com/repos/jackgoffinet/MAX-SAT/commits/ddeb94229c7fec599b60c4d2c6521c300268c1ad"}]}