Console Output

+ echo '{"project":{"mizar":"hardware/mizar"},"commit":{"mizar":"d9a5e18"}}'