{"ref":"refs/heads/develop","push_id":54718523,"commits":[{"sha":"0aa5217f367d70a739f2b0de1aa7bf10aa89c647","author":{"email":"0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","name":"Jesse Alama"},"url":"https://api.github.com/repos/jessealama/xsl4mizar/commits/0aa5217f367d70a739f2b0de1aa7bf10aa89c647","message":"Permit specifying the # of minimization jobs to be run in parallel."}],"head":"0aa5217f367d70a739f2b0de1aa7bf10aa89c647","size":1}