From f1ec057b1661101fdb08b7ca3e1c1bac88ee43b4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=2E=20Fernando=20S=C3=A1nchez?= Date: Tue, 6 Nov 2018 17:02:59 +0100 Subject: [PATCH] Add fetch to makefiles push --- .makefiles/makefiles.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/.makefiles/makefiles.mk b/.makefiles/makefiles.mk index 03dcc17..504e139 100644 --- a/.makefiles/makefiles.mk +++ b/.makefiles/makefiles.mk @@ -6,6 +6,7 @@ makefiles-commit: makefiles-remote git commit -em "Updated makefiles from ${NAME}" makefiles-push: + git fetch makefiles $(NAME) git subtree push --prefix=.makefiles/ makefiles $(NAME) makefiles-pull: makefiles-remote