Thank you ! But I already restarted in a fresh tree, which gad the unexpected side effect of seriously deflating its size (9,4 GB vs 24 GB in the old tree...).
The migration guide should be amended... Le lundi 6 février 2023 à 16:06:34 UTC+1, Kwankyu Lee a écrit : > Or > > git branch -D develop; git branch --track develop upstream/develop > > > On Tuesday, February 7, 2023 at 12:03:39 AM UTC+9 Kwankyu Lee wrote: > No. Make it from the remote upstream, so I think the command is > > git branch -D develop; g checkout -b develop upstream/develop > > On Monday, February 6, 2023 at 11:51:43 PM UTC+9 Kwankyu Lee wrote: > On Monday, February 6, 2023 at 11:45:12 PM UTC+9 emanuel.c...@gmail.com > wrote: > After followong the steps given for an existing tree, my develop branch > still followed OLD-ORIGIN. Shouldn't that be orign ? > > You remove the develop branch, and make a new one (named develop) from the > remote origin. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/96d850a4-ba99-4e56-9bdc-4486afd4630en%40googlegroups.com.