diff options
| -rwxr-xr-x | .git-hooks/pre-commit | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.git-hooks/pre-commit b/.git-hooks/pre-commit index 6c87dc890483..1f3d21ebff98 100755 --- a/.git-hooks/pre-commit +++ b/.git-hooks/pre-commit @@ -257,6 +257,12 @@ To remove the change, you can do: git submodule update $_ +If it fails with 'error: Server does not allow request for unadvertised object', +run the following: + + git submodule sync + git submodule update $_ + EOM exit(1); } |