diff options
| author | Jan Holesovsky <kendy@collabora.com> | 2018-11-22 11:52:21 +0100 |
|---|---|---|
| committer | Jan Holesovsky <kendy@collabora.com> | 2018-12-10 13:01:59 +0100 |
| commit | ecab1077e0c33e681aa6c2c84918ae702ad6f0ac (patch) | |
| tree | 9c609b2e89d483b5d6df7fc341fe99040fa4cbb1 /.git-hooks | |
| parent | f8f96acd4f375eb5b31cf231c3067e3d074cd370 (diff) | |
git hooks: Tell what to do in another problematic submodules case.
Change-Id: I6247df16c021c13c97471cae16d3a1c0f3ddc691
Diffstat (limited to '.git-hooks')
| -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 8b9a4a5b4b95..07e537be63cc 100755 --- a/.git-hooks/pre-commit +++ b/.git-hooks/pre-commit @@ -245,6 +245,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); } |