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

Copy pre-commit hook to real GIT_DIR #238

Merged
merged 1 commit into from
Dec 24, 2023
Merged

Conversation

djpohly
Copy link
Contributor

@djpohly djpohly commented Dec 21, 2023

📚 Description

The Git repository is not always ".git" - for example, if this repository is a submodule or worktree, or if $GIT_DIR is set explicitly.

🔖 Changes

  • Updates the Makefile to use git rev-parse --git-dir to find the real directory.

✅ To-do list

  • I updated the CHANGELOG.md to reflect the new feature or fix
  • I updated the documentation to reflect the changes

(This didn't seem like a big enough change to merit either of these.)

Copy link

watermelon-copilot-for-code-review bot commented Dec 21, 2023

Watermelon AI Summary

AI Summary deactivated by djpohly

GitHub PRs

bashunit is an open repo and Watermelon will serve it for free.
🍉🫶
Have you starred Watermelon?

This is not always ".git" - for example, if this repository is a
submodule or worktree, or if $GIT_DIR is set explicitly.
@Chemaclass Chemaclass merged commit de7fe58 into TypedDevs:main Dec 24, 2023
7 checks passed
@Chemaclass Chemaclass added the enhancement New feature or request label Dec 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants