diff --git a/make/rules.mk b/make/rules.mk
index 28709722..cd834b45 100644
--- a/make/rules.mk
+++ b/make/rules.mk
@@ -102,6 +102,9 @@ cvsupdate update:
 cvsdiff diff:
 	if [ -d "CVS" ]; then cvs diff -u || exit 1; else git --no-pager diff || exit 1; fi
 
+push:
+	if [ ! -d "CVS" ]; then git push || exit 1; fi
+
 prepend_header:
 	set -e; for f in $(SRC_UNHEADERED); do sh $(TOPDIR)/hdr/prepend_header.sh $$f; done