diff --git a/.gitpod.yml b/.gitpod.yml index dbe2ac6557b..69974d07233 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -49,7 +49,6 @@ tasks: unset PRIVATE_SSH_KEY ssh-keyscan -H trac.sagemath.org >> ~/.ssh/known_hosts - # Setup trac repo git remote remove trac 2> /dev/null # might still exists from a previous run/prebuild git remote add trac git@trac.sagemath.org:sage.git -t master -t develop -t $(git branch --show-current)