Merge branch 'master' into develop

usteiner9 · Aug 2, 2019 · 7879d27 · 7879d27
2 parents 073d10d + 79f8538
commit 7879d27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/auto-pr.ps1 b/bin/auto-pr.ps1
@@ -204,4 +204,4 @@ if ($Push) {
     execute 'hub checkout -f master'
 }
 
-execute 'hub reset'
+execute 'hub reset --hard'