From cefed5dcf771c3ecac944a9481bcbe0023a94e82 Mon Sep 17 00:00:00 2001
From: Malin Freeborn <malinfreeborn@tutamail.com>
Date: Tue, 2 Mar 2021 17:09:22 +0100
Subject: [PATCH] remove push from Makefile
---
Makefile | 1 -
1 file changed, 1 deletion(-)
diff --git a/Makefile b/Makefile
index 851be697..4db93ca9 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,5 @@ tree:
[ -e ../config ] || ( echo "You don't have a local config repo" && exit 1 )
git status
git subtree -P config pull ../config ${branch}
- git subtree -P config push ../config ${branch}
clean:
rm -fr *.aux *.toc *.acn *.log *.ptc *.out *.idx *.ist *.glo *.glg *.gls *.acr *.alg *.ilg *.ind *.pdf .ref svg-inkscape
--
GitLab