From 7a1dadf10ce70cef6d20f322a4fa71ee252c6295 Mon Sep 17 00:00:00 2001
From: Eric Mueller <eric@ericmueller.org>
Date: Sun, 24 Mar 2019 13:04:45 +0100
Subject: [PATCH] Added git pull

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

diff --git a/docs/maintenance/update-the-devilbox.rst b/docs/maintenance/update-the-devilbox.rst
index 19b318d5..cc2d089f 100644
--- a/docs/maintenance/update-the-devilbox.rst
+++ b/docs/maintenance/update-the-devilbox.rst
@@ -56,6 +56,8 @@ If you want to checkout a specific release tag (such as ``0.12.1``), do a ``git
 
    # Checkout release
    host> cd path/to/devilbox
+   # Ensure you have latest from remote
+   host> git pull
    host> git checkout 0.12.1