repomanager/.gitignore