From 7001d180cc6f1ba1fd3a7294bde4d4caf9737a5e Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@janware.com>
Date: Tue, 22 Nov 2016 10:00:39 +0000
Subject: [PATCH] projects-dir.mk: Re-add target push, for consistency with
 pull

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

diff --git a/make/projects-dir.mk b/make/projects-dir.mk
index 65bf33a8..fc41fc4c 100644
--- a/make/projects-dir.mk
+++ b/make/projects-dir.mk
@@ -117,7 +117,7 @@ cvs-update:
 	rm -f $@.done
 	make $@.done
 
-git-push:
+git-push push:
 	$(PGIT) push
 
 git-push-all: