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