Added git pull

This commit is contained in:
Eric Mueller 2019-03-24 13:04:45 +01:00 committed by GitHub
parent 6da8f35cf7
commit 7a1dadf10c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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