search

pucrs-automated-planning / pddl-parser

:snake: Classical Planning in Python
GNU General Public License v3.0
84 stars 23 forks source link

FEATURE: add .gitignore file with common exclusions #12

Closed bcorfman closed 2 years ago

bcorfman commented 2 years ago

I discovered there isn't a .gitignore file that keeps Git from tracking some files that shouldn't be checked into the repo, e.g., miscellaneous Python, OS X and common text editor directories and/or files. This smooths out the everyday commits and pushes with Git, and it can be expanded further as needed.

Maumagnaguagno commented 2 years ago

Is this really a problem people are facing? The project is made out of so few files that I find it hard to not notice other files that shouldn't be there. Personally, I dislike huge .gitignore files, most of the time you could just ignore locally.

bcorfman commented 2 years ago

Understood. Thank you for suggesting alternatives. I will close this.