{"push_id":869923963,"size":1,"distinct_size":1,"ref":"refs/heads/syntactic","head":"e167bffff2296a6d820eede0cb4851aea872605d","before":"33f0c27b3f214d45a5b9597c09f9d4f26c120a51","commits":[{"sha":"e167bffff2296a6d820eede0cb4851aea872605d","author":{"email":"a32e0b8f9e8bff281fb032d8033eb7d7e87e53ee@chalmers.se","name":"Markus"},"message":"drop TH","distinct":true,"url":"https://api.github.com/repos/markus-git/imperative-edsl-vhdl/commits/e167bffff2296a6d820eede0cb4851aea872605d"}]}