After followong the steps given for an existing tree, my develop branch still followed OLD-ORIGIN. Shouldn't that be orign ?
Le lundi 6 février 2023 à 08:02:59 UTC+1, Matthias Koeppe a écrit : > https://github.com/sagemath/sage > > See > https://github.com/sagemath/trac-to-github/blob/master/docs/Migration-Trac-to-Github.md > > for a transition guide from Trac to GitHub. > > -- 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/7f7abe9d-c532-49ab-8cbb-083036d9456fn%40googlegroups.com.