Skip to content

Use a dot-whitelist#36

Merged
ThomasFarstrike merged 1 commit intoMicroPythonOS:mainfrom
jedie:gitignore
Feb 12, 2026
Merged

Use a dot-whitelist#36
ThomasFarstrike merged 1 commit intoMicroPythonOS:mainfrom
jedie:gitignore

Conversation

@jedie
Copy link
Copy Markdown
Contributor

@jedie jedie commented Feb 12, 2026

I use PyCharm. So there is the .idea directory to exclude. But exclude every variant of these are boring. So i use this idea: Exclude all dot stuff and include the needed one.

I use PyCharm. So there is the .idea directory to exclude. But exclude every variant of these are
boring. So i use this idea: Exclude all dot stuff and include the needed one.
@jedie jedie mentioned this pull request Feb 12, 2026
@ThomasFarstrike
Copy link
Copy Markdown
Contributor

Awesome, you are now an official contributor! :-D

@ThomasFarstrike ThomasFarstrike merged commit 6b17495 into MicroPythonOS:main Feb 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants