From 89767f29db0e483a9ecaa2d48cd3be21ab798129 Mon Sep 17 00:00:00 2001
From: Earl Warren <contact@earl-warren.org>
Date: Sun, 15 Oct 2023 17:29:34 +0200
Subject: [PATCH] git fetch origin, not $destination

---
 cascading-pr.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/cascading-pr.sh b/cascading-pr.sh
index ecdb51b..b7457ee 100755
--- a/cascading-pr.sh
+++ b/cascading-pr.sh
@@ -124,7 +124,7 @@ function upsert_clone() {
 	cd $TMPDIR/$direction
 	git config credential.helper "store --file=$TMPDIR/$direction.git-credentials"
 	if $fetch; then
-	    git fetch $direction
+	    git fetch origin
 	fi
 	git config user.email cascading-pr@example.com
 	git config user.name cascading-pr
@@ -158,7 +158,6 @@ function update() {
     upsert_clone destination ${options[destination_head]} ${options[destination_clone]}
     (
 	cd $TMPDIR/origin
-	ls -l  $TMPDIR/destination
 	${options[update]} $TMPDIR/destination $TMPDIR/destination-pr.json $TMPDIR/origin-pr.json
     )
     push destination ${options[destination_head]} ${options[destination_clone]}