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}