Skip to content

Arduino IDE should ignore .git directory #3237

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
mikaelpatel opened this issue May 26, 2015 · 0 comments
Closed

Arduino IDE should ignore .git directory #3237

mikaelpatel opened this issue May 26, 2015 · 0 comments
Assignees
@ffissore
Labels
Component: IDE The Arduino IDE
Milestone
Release 1.6.5

Comments

@mikaelpatel
Copy link

A warning is given by the Arduino IDE for .git directories (in libraries). These should be ignored instead.
@ffissore ffissore self-assigned this May 27, 2015
@ffissore ffissore added the Component: IDE The Arduino IDE label May 27, 2015
@ffissore ffissore added this to the Release 1.6.5 milestone May 27, 2015
@hryamzik hryamzik mentioned this issue Nov 23, 2015
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ffissore ffissore

Labels
Component: IDE The Arduino IDE
Projects
None yet
Milestone
Release 1.6.5
Development

No branches or pull requests
2 participants
@ffissore @mikaelpatel