1
0
mirror of https://github.com/gsi-upm/senpy synced 2024-11-21 15:52:28 +00:00

Add fetch to makefiles push

This commit is contained in:
J. Fernando Sánchez 2018-11-06 17:02:59 +01:00
parent f6ca82cac8
commit f1ec057b16

View File

@ -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