{"push_id":1024637590,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"27732e3879281a29f7f4dcadea8cb709260b7ac3","before":"a5ec6916be4a70069226c024ed60beb7ccae10ff","commits":[{"sha":"27732e3879281a29f7f4dcadea8cb709260b7ac3","author":{"email":"bbbe0b7bb637ab674d49618e0a81ffdb09351db7@forsyte.at","name":"Henning Günther"},"message":"Allow SMT debug backend to be written to files","distinct":true,"url":"https://api.github.com/repos/hguenther/vvt/commits/27732e3879281a29f7f4dcadea8cb709260b7ac3"}]}