Console Output

{"project":{"mizar":"hardware/mizar"},"commit":{"mizar":"e47a5f0"}}