diff --git a/docs/devops.md b/docs/devops.md
index c34ddc6418..544a22d712 100644
--- a/docs/devops.md
+++ b/docs/devops.md
@@ -70,6 +70,7 @@ The below commands will move changes from `master` to the `production-*` branch:
 
 ```sh
 git checkout master
+git fetch --all --prune
 git reset --hard upstream/master
 git checkout production-staging
 git merge master