{"push_id":914504102,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7c62ffd4edce1ea7681c52df0ec6c5b7bda469d8","before":"8a37b4a1b7dde89fd5d7568903fa2f07ab634b82","commits":[{"sha":"7c62ffd4edce1ea7681c52df0ec6c5b7bda469d8","author":{"email":"2ead1e2e0ae6a87f7bc0f79360ab602a46f82834@gmail.com","name":"Karlheinz Friedberger"},"message":"bugfix for option-handling.\n\nThe object \"options\" should not be changed.\nIn our case we appended the propertyfile several hundred times.","distinct":true,"url":"https://api.github.com/repos/kfriedberger/benchexec/commits/7c62ffd4edce1ea7681c52df0ec6c5b7bda469d8"}]}