diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-24 17:14:45 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-24 17:14:45 +0300 |
commit | 347a68546c0d7df97000bc2a80ebd1d5ceb39e40 (patch) | |
tree | 92f621dbd04547c0a1fcc8044332393bea6dda1e /%HOME%/.local/bin/git-pulll | |
parent | .bashrc_work -> .bashrc_local (diff) | |
download | linux-home-347a68546c0d7df97000bc2a80ebd1d5ceb39e40.tar.gz linux-home-347a68546c0d7df97000bc2a80ebd1d5ceb39e40.zip |
.gitconfig: no more external scripts
Diffstat (limited to '%HOME%/.local/bin/git-pulll')
-rwxr-xr-x | %HOME%/.local/bin/git-pulll | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/%HOME%/.local/bin/git-pulll b/%HOME%/.local/bin/git-pulll deleted file mode 100755 index 79299e5..0000000 --- a/%HOME%/.local/bin/git-pulll +++ /dev/null @@ -1,8 +0,0 @@ -#!/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 |