Skip to content
This repository was archived by the owner on Apr 8, 2025. It is now read-only.
This repository was archived by the owner on Apr 8, 2025. It is now read-only.

Deal with scattered .gitignore files #31

@onkoe

Description

@onkoe

wait what

As-is, there are a lot of .gitignore files just floating around in subdirectories. While git accepts these as normal .gitignore files, and will still read them when it finds them, git has some special rules. Of these, it's most important that the .gitignore in the parent folders overrides those in child folders. Which is scary, and could result in data loss...

how do you plan to fix it?

I was going to dump all of these .gitignores into the root of the repo, as git suggests. Since we plan to have git submodules, though, it wouldn't make sense to move them, then rewrite them when these inner projects become submodules.

so..?

However, if we make larger repos for many projects e.g. Sooner-Rover-Team/Autonomous or Sooner-Rover-Team/Mission-Control, it makes sense to wait and see, as we'll still end up combining the .gitignore files anyways.

Tasks:

  • Break the giant repo into smaller repos
  • Remove .gitignore files from subdirectories
  • Fuse the old .gitignore files into larger ones
  • Stop worrying about data loss
  • Party

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions