From 69ab55ff3f34b40a83dca2b4f8394b5fd0f42611 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Fri, 24 Jan 2020 17:29:28 +0300 Subject: no more git-* in .local/bin Good riddance. --- %HOME%/.local/bin/git-pulll-old | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 %HOME%/.local/bin/git-pulll-old (limited to '%HOME%/.local/bin/git-pulll-old') diff --git a/%HOME%/.local/bin/git-pulll-old b/%HOME%/.local/bin/git-pulll-old deleted file mode 100644 index 79299e5..0000000 --- a/%HOME%/.local/bin/git-pulll-old +++ /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 -- cgit v1.2.3