From 8d3a589a8d2869f05c0fb531268c16941a50bb29 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sun, 18 Feb 2024 22:59:11 -0800 Subject: [PATCH] .gitpod-setup-trac-remote.sh: Restore 'git remote remove trac' --- .gitpod-setup-trac-remote.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitpod-setup-trac-remote.sh b/.gitpod-setup-trac-remote.sh index 5ccf0913acd..574503451c3 100755 --- a/.gitpod-setup-trac-remote.sh +++ b/.gitpod-setup-trac-remote.sh @@ -3,6 +3,8 @@ # Exit on error set -e +git remote remove trac 2> /dev/null || true # might still exists from a previous run/prebuild + # Setup trac as remote git remote add trac https://github.com/sagemath/sagetrac-mirror.git -t master -t develop git remote set-url --push trac no-pushing--this-is-a-read-only-archive