add git checkout dev at the end so you don't stay in master

jomo
2015-07-01 01:54:01 +02:00
parent 07445f3898
commit 40c88b1aff

@@ -7,4 +7,5 @@ This branch is used for the production server.
```bash
git checkout master
git merge dev
git checkout dev
```