From 7b06e73552f7e93dc2356309b41ad8a0f487a16b Mon Sep 17 00:00:00 2001 From: Peter Jones Date: Tue, 17 Jul 2018 16:30:53 -0400 Subject: [PATCH] Make do-rebase re-set the url if the directory is already there. Signed-off-by: Peter Jones --- do-rebase | 2 ++ 1 file changed, 2 insertions(+) diff --git a/do-rebase b/do-rebase index b2bccaf..e83d1ee 100755 --- a/do-rebase +++ b/do-rebase @@ -139,6 +139,8 @@ elif othergit remote show -n rhboot | grep -q "URL: github$" ; then echo "Could not add remote: rhboot" 1>&2 exit 1 fi +else + othergit remote set-url rhboot ${gitrepo} fi othergit fetch rhboot