From da6a6b5cd87305e4a9b66cc601cd7d81cc069fcf Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@janware.com>
Date: Wed, 23 Jul 2014 14:16:34 +0000
Subject: [PATCH] projects-dir.mk: Add git-push

Signed-off-by: Jan Lindemann <jan@janware.com>
---
 make/projects-dir.mk | 3 +++
 1 file changed, 3 insertions(+)

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