{"push_id":1702817861,"size":2,"distinct_size":2,"ref":"refs/heads/dump-c-typedef","head":"54441504984ee31fe78184981b29e0c89069c19a","before":"c6584f3b63170a82c8cd864bcc9ce2f6e14886f2","commits":[{"sha":"d9dcd345dc0b80d15784c6bc26ff3aa12bd3ba39","author":{"name":"Andreas Stahlbauer","email":"5bf00c93c9250d44d769b81890fa6584403ae7e0@sthlbr.net"},"message":"Added a comment that explains the code","distinct":true,"url":"https://api.github.com/repos/stahlbauer/cbmc/commits/d9dcd345dc0b80d15784c6bc26ff3aa12bd3ba39"},{"sha":"54441504984ee31fe78184981b29e0c89069c19a","author":{"name":"Andreas Stahlbauer","email":"5bf00c93c9250d44d769b81890fa6584403ae7e0@sthlbr.net"},"message":"First prototype for identifying system headers based on the file location (/usr/include).","distinct":true,"url":"https://api.github.com/repos/stahlbauer/cbmc/commits/54441504984ee31fe78184981b29e0c89069c19a"}]}
{"actor":{"display_login":"stahlbauer"}}