diff --git a/make/projects-dir.mk b/make/projects-dir.mk
index ec812913..173f9d26 100644
--- a/make/projects-dir.mk
+++ b/make/projects-dir.mk
@@ -23,6 +23,9 @@ cpp:
 clone diff commit push:
 	$(RGIT) $@
 
+git-push:
+	$(RGIT) push
+
 update pull:
 	cvs update -dP $(CVS_PROJECTS)
 	$(RGIT) pull