Browse Source

add git pull dev helper

micha 2 years ago
parent
commit
89643c72b8
1 changed files with 5 additions and 0 deletions
  1. 5 0
      dev/pull_dev.sh

+ 5 - 0
dev/pull_dev.sh

@@ -0,0 +1,5 @@
+git branch dev
+git checkout dev
+git branch 
+git pull --set-upstream origin dev
+