{"push_id":2637328861,"size":1,"distinct_size":1,"ref":"refs/heads/constructor","head":"bc568b7b9a335a1865c2eae251ce7824ba19cfa8","before":"5c769ffbcc5cd0835e0e672fcb82a712856a7b0e","commits":[{"sha":"bc568b7b9a335a1865c2eae251ce7824ba19cfa8","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Only parameter-free constructors can be static initializer functions","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/bc568b7b9a335a1865c2eae251ce7824ba19cfa8"}]}
{"actor":{"display_login":"tautschnig"}}