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.

Reply via email to