Ticket #1874 (closed bug: invalid)

Opened 4 years ago

Last modified 4 years ago

ports/ directory is listed in .gitignore, can't commit files to it

Reported by: allison Owned by:
Priority: normal Milestone:
Component: none Version: 2.10.0
Severity: medium Keywords:
Cc: Language:
Patch status: Platform:

Description

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.

Change History

Changed 4 years ago by dukeleto

  • status changed from new to closed
  • resolution set to invalid

You can commit files that are in .gitignore with

git add --force foo

I will add this to the git workflow document.

Note: See TracTickets for help on using tickets.