Skip to content

Ignore IntelliJ files #3446

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
Merged
mistercrunch merged 1 commit into from
Sep 12, 2017
Merged

Ignore IntelliJ files #3446

mistercrunch merged 1 commit into from
Sep 12, 2017

Conversation

@fabianmenges
Copy link
Contributor

@fabianmenges fabianmenges commented Sep 11, 2017

Git-ignoring IntelliJ IDEA project files.

@coveralls
Copy link

coveralls commented Sep 11, 2017 •
edited
Loading

Coverage Status

Coverage remained the same at 69.118% when pulling db397890d9a209330de06967146d679a0e98051a on tc-dc:fmenges/ignore_intellij into 3dfdde1 on apache:master.

@mistercrunch
Copy link
Member

mistercrunch commented Sep 12, 2017

The build on master has been fixed, please rebase

@mistercrunch
Copy link
Member

mistercrunch commented Sep 12, 2017

LGTM

@mistercrunch mistercrunch self-requested a review September 12, 2017 03:28
mistercrunch
mistercrunch approved these changes Sep 12, 2017
View reviewed changes
Copy link
Member

@mistercrunch mistercrunch left a comment

Choose a reason for hiding this comment

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

LGTM

@fabianmenges fabianmenges force-pushed the fmenges/ignore_intellij branch from db39789 to 654acac Compare September 12, 2017 14:23
@coveralls
Copy link

coveralls commented Sep 12, 2017 •
edited
Loading

Coverage Status

Coverage remained the same at 69.118% when pulling 654acac on tc-dc:fmenges/ignore_intellij into 147c12d on apache:master.

@mistercrunch mistercrunch merged commit 1f135e4 into apache:master Sep 12, 2017
@fabianmenges fabianmenges deleted the fmenges/ignore_intellij branch September 19, 2017 18:33
@mistercrunch mistercrunch added 🏷️ bot A label used by `supersetbot` to keep track of which PR where auto-tagged with release labels 🚢 0.20.0 First shipped in 0.20.0 labels Feb 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@mistercrunch mistercrunch mistercrunch approved these changes

Assignees

No one assigned

Labels

🏷️ bot A label used by `supersetbot` to keep track of which PR where auto-tagged with release labels 🚢 0.20.0 First shipped in 0.20.0

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@fabianmenges @coveralls @mistercrunch