{"push_id":929347690,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c8d23418f3016965524933d28bd65f325a9697aa","before":"4b031735a221577c094cc7a81b9e4922b7afe392","commits":[{"sha":"c8d23418f3016965524933d28bd65f325a9697aa","author":{"email":"de902762ba1fb2d6136c501c0e7409f380676d50@stud.uni-passau.de","name":"Thomas Lemberger"},"message":"Replace python's enum class with own implementation for compatibility to python 3.2 and 3.3","distinct":true,"url":"https://api.github.com/repos/sosy-lab/benchexec/commits/c8d23418f3016965524933d28bd65f325a9697aa"}]}