From d74e40f5e8d9e316ce2f2ab7e8856c6e9541b329 Mon Sep 17 00:00:00 2001
From: Stein Magnus Jodal <stein.magnus@jodal.no>
Date: Wed, 22 Jul 2015 18:41:54 +0200
Subject: [PATCH] docs: git can now push with tags in one command

---
 docs/releasing.rst | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/releasing.rst b/docs/releasing.rst
index 8a12cf7d..4c2d8373 100644
--- a/docs/releasing.rst
+++ b/docs/releasing.rst
@@ -47,8 +47,7 @@ Creating releases
 
 #. Push to GitHub::
 
-    git push
-    git push --tags
+    git push --follow-tags
 
 #. Upload the previously built and tested sdist and bdist_wheel packages to
    PyPI::