Navigation Menu

Skip to content
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.

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

Remove platform/editor/app specific entries from .gitignore #182

Merged
merged 1 commit into from Jun 28, 2012

Conversation

weppos
Copy link
Member

@weppos weppos commented Jun 27, 2012

Such entries should stay in the global .gitignore file.

Let me know what do you think.

Use .gitignore_global to configure such entries.
@travisbot
Copy link

This pull request fails (merged 315a86a into 0113e21).

@semmons99
Copy link
Member

I'm fine with this, though we'll need to be vigilante that no one accidentally commits files that were caught by the projects .gitignore previously.

@weppos
Copy link
Member Author

weppos commented Jun 27, 2012

Good point.

@alup
Copy link
Member

alup commented Jun 27, 2012

👍

@semmons99
Copy link
Member

@weppos I say merge it and see where the cards fall. Worse case, we eventually revert the commit. More likely we help educate the public (and ourselves) from time to time on the need for a global .gitignore for our editors, etc.

weppos added a commit that referenced this pull request Jun 28, 2012
Remove platform/editor/app specific entries from .gitignore
@weppos weppos merged commit 3e7261b into master Jun 28, 2012
@weppos
Copy link
Member Author

weppos commented Jun 28, 2012

Merged!

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.

None yet

4 participants