8000 Support for git repos as submodules by faazshift · Pull Request #96 · observing/pre-commit · GitHub
[go: up one dir, main page]

Skip to content

Support for git repos as submodules#96

Merged
3rd-Eden merged 1 commit intoobserving:masterfrom
faazshift:master
May 5, 2017
Merged

Support for git repos as submodules#96
3rd-Eden merged 1 commit intoobserving:masterfrom
faazshift:master

Conversation

@faazshift
Copy link
Contributor

If a git repo is setup as a submodule of another repo, .git is a file (rather than a directory) containing the path to the submodule's git directory within the parent repos .git directory. This PR just adds the ability, if .git is a file, to resolve the actual git directory and install/uninstall to the right location.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 95.413% when pulling eed11d4 on faazshift:master into f55b66b on observing:master.

@faazshift
Copy link
Contributor Author

Didn't look through the other PRs before doing this, but I see there were other abandoned attempts at submodule support.

@faazshift
Copy link
Contributor Author

To follow-up on this, my change has now been tested across several platforms by several within my organization, and seems to work exactly as expected in all cases so far.

@gCastl
Copy link
gCastl commented May 5, 2017

LGTM 👍

@3rd-Eden 3rd-Eden merged commit 5eb7b9b into observing:master May 5, 2017
@3rd-Eden
Copy link
Member
3rd-Eden commented May 5, 2017

@faazshift The other PR's were not merged because of cross platform issues.

imlucas added a commit to mongodb-js/pre-commit that referenced this pull request Jan 15, 2019
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.

4 participants

0