avoid pushd and popd

r-prof · Dec 24, 2017 · 7a9e2ca · 7a9e2ca
1 parent fe1a62b
commit 7a9e2ca
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/metatool b/metatool
@@ -31,10 +31,11 @@ pull() {
 push() {
   project=$1
   git subtree push --prefix=$project $manyrepos_dir/$project $metarepo_branch
-  pushd $manyrepos_dir/$project
-  git merge $metarepo_branch --no-commit
-  git commit --no-edit
-  popd
+  (
+    cd $manyrepos_dir/$project
+    git merge $metarepo_branch --no-commit
+    git commit --no-edita
+  )
 }
 
 print_usage() {