One should not push code with a syntax error.