From 606bef01543225e56378904b94bd41f41645f4be Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Thu, 19 Jul 2018 13:48:35 +0200
Subject: Document that you need to `git push` after the release :p

---
 CONTRIBUTING.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CONTRIBUTING.md')

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 0a6a408..88a3297 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -136,6 +136,7 @@ Maintainers need to do the following to push out a release:
   git config user.email security@nbs-system.com
   git tag -s v$MAJOR.$MINOR.$PATCH -m "v$MAJOR.$MINOR.$PATCH"
   git push --tags
+	git push origin master
   ```
 
 9. Build the debian package with `make debian`
-- 
cgit v1.3