From a037bed85991840aa551614548be03d38fd8c3c3 Mon Sep 17 00:00:00 2001 From: "David A. Wheeler" Date: Wed, 4 Apr 2018 11:39:38 -0400 Subject: [PATCH] Document that in release we must push tags Signed-off-by: David A. Wheeler --- release_process.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release_process.md b/release_process.md index 92cb8fe..9a80e0a 100644 --- a/release_process.md +++ b/release_process.md @@ -26,7 +26,7 @@ make check # Run tests in Python 2 and 3 Once you're sure this is the *real* version, tag it: git tag VERSION -git push +git push --tags ## Create tarball