Closed microbit-carlos closed 2 years ago
In general I say that only project-specific entries should go in .gitignore
, like docs/_build
. Entries like .DS_Store
and venv
should go in the users .gitignore_global
(and depend on their OS and how they like to set up virtual env dirs).
That said, this PR looks fine to me.
Great, thanks Damien!
@dpgeorge I assume this is simple enough to merge?