Some repositories couldn't be updated, please check application logs for details.
BadCredentialsException: 401 {"message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}

aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/%HOME%/.local/bin
diff options
context:
space:
mode:
Diffstat (limited to '%HOME%/.local/bin')
-rwxr-xr-x%HOME%/.local/bin/git-pulll8
1 files changed, 8 insertions, 0 deletions
diff --git a/%HOME%/.local/bin/git-pulll b/%HOME%/.local/bin/git-pulll
new file mode 100755
index 0000000..79299e5
--- /dev/null
+++ b/%HOME%/.local/bin/git-pulll
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+# This is cool:
+# https://medium.com/@porteneuve/mastering-git-submodules-34c65e940407
+
+git pull "$@" \
+ && git submodule sync --recursive \
+ && git submodule update --init --recursive