id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc,lang,patch,platform
1874,"ports/ directory is listed in .gitignore, can't commit files to it",allison,,"The ports/ directory is listed in .gitignore because these files aren't shipped in the tarball. But, because they're in .gitignore, git won't allow updates for the files to be checked into the repository.

There was a semantic distinction lost here in the git migration, allowing files to be checked in, but not shipped in the tarball. I made a commit by temporarily removing ports/ from .gitignore, but we need a real fix.",bug,closed,normal,,none,2.10.0,medium,invalid,,,,,