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 postcommit git command #6253

Merged
merged 1 commit into from
Mar 22, 2022
Merged

Conversation

blimmer
Copy link
Contributor

@blimmer blimmer commented Mar 22, 2022

This PR removes the postcommit hook to call git update-index because it slows down git operations like rebase. According to @mattkrick - this used to be required by JetBrains IDEs, but we don't need it anymore.

@blimmer blimmer requested a review from mattkrick March 22, 2022 17:15
@mattkrick
Copy link
Member

LGTM!

@mattkrick mattkrick merged commit 425202c into master Mar 22, 2022
@mattkrick mattkrick deleted the chore/remove-postcommit branch March 22, 2022 17:23
@adaniels-parabol adaniels-parabol mentioned this pull request Mar 25, 2022
16 tasks
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

2 participants