Gitpod: track remote trac branch

sagemath · Mar 29, 2022 · ac4ec05 · ac4ec05
1 parent 55a711e
commit ac4ec05
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -76,8 +76,10 @@ tasks:
       ln -s $(pwd) $HOME/sage
     init: |
       # Setup trac repo
-      git remote add trac [email protected]:sage.git -t master
+      git remote add trac [email protected]:sage.git -t master -t develop -t $(git branch --show-current)
       git remote set-url --push trac [email protected]:sage.git
+      git fetch trac
+      git branch -u trac/$(git branch --show-current)
 
       # Start build
       mkdir -p logs && echo '### .gitpod.yml Setup.init: Starting build' >> logs/install.log