[PATCH] scripts/config/.gitignore omits source files