projects-dir.mk: Re-add target push, for consistency with pull

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2016-11-22 10:00:39 +00:00
commit 7001d180cc

View file

@ -117,7 +117,7 @@ cvs-update:
rm -f $@.done
make $@.done
git-push:
git-push push:
$(PGIT) push
git-push-all: