Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1 +1,2 @@
.idea
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd rather not have these in the upstream projects. These are user-specific files to ignore, and it will be a sliding slope to add all ignore rules for all possible editors that users may use.

These generally belong either in your global .gitignore, or can be added to the .git/info/exclude of your checkout.

Perhaps we should add a comment similar to https://github.com/moby/moby/blob/3bee048cbb32f63e45c98210fb15596a0a5e2e62/.gitignore#L1-L3

# If you want to ignore files created by your editor/tools, please consider a
# [global .gitignore](https://help.github.com/articles/ignoring-files).

build/
Loading