From 7a9e2ca12b9df8dd13066b42aecfb85bad0201ee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kirill=20M=C3=BCller?= <krlmlr@mailbox.org>
Date: Sun, 24 Dec 2017 16:09:26 +0100
Subject: [PATCH] avoid pushd and popd

---
 metatool | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/metatool b/metatool
index 57c7561..7a76026 100755
--- 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() {