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

chore: remove .idea from .gitignore #4496

Merged
merged 1 commit into from
Jul 27, 2024

Conversation

overlookmotel
Copy link
Contributor

@overlookmotel overlookmotel commented Jul 26, 2024

.idea snuck its way into .gitignore in #4484. Remove it again.

See #4355 for reason why it shouldn't be there.

Copy link

graphite-app bot commented Jul 26, 2024

Your org has enabled the Graphite merge queue for merging into main

Add the label “merge” to the PR and Graphite will automatically add it to the merge queue when it’s ready to merge. Or use the label “hotfix” to add to the merge queue as a hot fix.

You must have a Graphite account and log in to Graphite in order to use the merge queue. Sign up using this link.

Copy link
Contributor Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @overlookmotel and the rest of your teammates on Graphite Graphite

@overlookmotel overlookmotel marked this pull request as ready for review July 26, 2024 23:56
@overlookmotel
Copy link
Contributor Author

Trivial change to merging without review.

@overlookmotel overlookmotel added the 0-merge Merge with Graphite Merge Queue label Jul 26, 2024
Copy link

graphite-app bot commented Jul 26, 2024

Merge activity

  • Jul 26, 7:58 PM EDT: The merge label 'merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Jul 26, 7:58 PM EDT: overlookmotel added this pull request to the Graphite merge queue.
  • Jul 26, 8:02 PM EDT: overlookmotel merged this pull request with the Graphite merge queue.

`.idea` snuck its way into `.gitignore` in #4484. Remove it again.

See #4355 for reason why it shouldn't be there.
@overlookmotel overlookmotel force-pushed the 07-27-chore_remove_.idea_from_.gitignore_ branch from 0a51c35 to f3aedf6 Compare July 26, 2024 23:59
@graphite-app graphite-app bot merged commit f3aedf6 into main Jul 27, 2024
14 checks passed
@graphite-app graphite-app bot deleted the 07-27-chore_remove_.idea_from_.gitignore_ branch July 27, 2024 00:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
0-merge Merge with Graphite Merge Queue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant