From 6d485dcc4f16e0d96a450fbf5189b7fe9b328b8a Mon Sep 17 00:00:00 2001
From: Pedro Machado Santa <pedro.santa@gmail.com>
Date: Fri, 5 Apr 2019 16:55:58 +0100
Subject: [PATCH] Update release tag on update docs

---
 docs/maintenance/update-the-devilbox.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/maintenance/update-the-devilbox.rst b/docs/maintenance/update-the-devilbox.rst
index 24918ecc..195244c1 100644
--- a/docs/maintenance/update-the-devilbox.rst
+++ b/docs/maintenance/update-the-devilbox.rst
@@ -58,7 +58,7 @@ If you want to checkout a specific release tag (such as ``0.12.1``), do a ``git
    host> cd path/to/devilbox
    # Ensure you have latest from remote
    host> git fetch
-   host> git checkout 0.12.1
+   host> git checkout v1.0.1