From e4c03321f6e2b0380fb5cf650cc90589fe42d43a Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@ikn.schottelius.org>
Date: Sun, 21 Jun 2009 10:25:35 +0200
Subject: [PATCH] include git publishing

Signed-off-by: Nico Schottelius <nico@ikn.schottelius.org>
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index fc78cc8a..c21a87a1 100644
--- a/Makefile
+++ b/Makefile
@@ -11,6 +11,7 @@ clean: all
 	rm -rf ${DESTDIR}
 
 public: all
+	git push --mirror
 	rsync -av --delete ${DESTDIR} ${PUBDIR}