{"push_id":1435920064,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4f68efe2e342da169557b5f9655e4aec7ca74288","before":"8b3374af5654604b3c531fc98875831a79f2aa64","commits":[{"sha":"4f68efe2e342da169557b5f9655e4aec7ca74288","author":{"name":"Matthias Heizmann","email":"f1cff21450e83c7ffbac6322489d8b4a568fcc91@informatik.uni-freiburg.de"},"message":"add termination label to benchmarks from folder seq-mthreaded\n\n(avoid that the large number of termination benchmarks in product-lines outweigts\nother termination benchmarks)","distinct":true,"url":"https://api.github.com/repos/Heizmann/sv-benchmarks/commits/4f68efe2e342da169557b5f9655e4aec7ca74288"}]}
{"actor":{"display_login":"Heizmann"}}