From fa06ac0def66f5270b32027ceefb5c0906c99edb Mon Sep 17 00:00:00 2001
From: mrugesh <1884376+raisedadead@users.noreply.github.com>
Date: Wed, 9 Oct 2019 17:12:08 +0530
Subject: [PATCH] docs: update devops docs

---
 docs/devops.md | 1 +
 1 file changed, 1 insertion(+)

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