From 08a449f667088886481a39a0ec2854044c8e5bb0 Mon Sep 17 00:00:00 2001
From: Nick Fitzgerald <fitzgen@gmail.com>
Date: Thu, 26 Jul 2018 15:01:36 -0700
Subject: [PATCH] guide: Also tag the release commit and push it

---
 guide/src/publishing.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/guide/src/publishing.md b/guide/src/publishing.md
index 01ced893..ce0ed017 100644
--- a/guide/src/publishing.md
+++ b/guide/src/publishing.md
@@ -49,3 +49,16 @@
   cd crates/cli && cargo publish && cd -
   cargo publish --allow-dirty # because of uncommitted, commented out [patch] section
   ```
+
+* [ ] Push the commit:
+
+  ```
+  git push origin master
+  ```
+
+* [ ] Tag the release and push it:
+
+  ```
+  git tag 0.X.Z
+  git push origin --tags
+  ```