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