{"push_id":633308752,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"078aec54c273f016c300ed43900a2ff7948aff4a","before":"e30209a41c0785f741a8f5efd147de57103592b3","commits":[{"sha":"078aec54c273f016c300ed43900a2ff7948aff4a","author":{"email":"42974d08d21229eac64cf4b28f4ae84e94d6f8cb@gmail.com","name":"ferdinandvwyk"},"message":"add btor value","distinct":true,"url":"https://api.github.com/repos/ferdinandvwyk/transp_read/commits/078aec54c273f016c300ed43900a2ff7948aff4a"}]}