{"push_id":2776197226,"size":1,"distinct_size":1,"ref":"refs/heads/fo-directory","head":"02b921634171477bb21152c4faee76a2154f77d8","before":"741ab82c32dba7217058c74b00577c9ffbd1b879","commits":[{"sha":"02b921634171477bb21152c4faee76a2154f77d8","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Fix concat_dir_file for Windows and unit-test it","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/02b921634171477bb21152c4faee76a2154f77d8"}]}
{"actor":{"display_login":"tautschnig"}}