diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 7580ffc8..ab28ec2a 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -141,6 +141,10 @@ git-clone: git-clone-%: PGIT_CLONE_FROM_USER=$* $(PGIT) clone +pull-%: + PGIT_CLONE_FROM_USER=$* $(PGIT) clone + # TODO implement cloning into branch, see https://jannet.de/wiki/pub/sw:build:cheat_sheet#projects_toplevel_directory + git-commit: $(PGIT) commit