{"push_id":2901534714,"size":1,"distinct_size":1,"ref":"refs/heads/no-id_type","head":"325db276231d9659dfa8758b6dd75d55c9e39a46","before":"77e07275b8763e8f7374e0e6d877769bcdc2a668","commits":[{"sha":"325db276231d9659dfa8758b6dd75d55c9e39a46","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Use type() instead of find(ID_type) or get(ID_type)\n\nUsing the provided API hides implemention details and improves type safety.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/325db276231d9659dfa8758b6dd75d55c9e39a46"}]}
{"actor":{"display_login":"tautschnig"}}