{"push_id":735184287,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"197479a76505d42113aac94ee01ff14b01249205","before":"53b16258b886d1f5c7e523b820df8d2bbce0d67a","commits":[{"sha":"197479a76505d42113aac94ee01ff14b01249205","author":{"email":"036c34aa827f054a0cb1644dadfa36f1f7ef6454@gmail.com","name":"Martin Gropp"},"message":"added runtime priority input statement","distinct":true,"url":"https://api.github.com/repos/uds-lsv/platon/commits/197479a76505d42113aac94ee01ff14b01249205"}]}