Migration to GitHub complete

[Matthias Koeppe]

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.

[Kwankyu Lee]

Great! Thank you!

[G. M.-S.]

Huge thanks to everybody involved.

Guillermo

[Marc Mezzarobba]

Thank you all for your work!

A minor point: the PR template still says "we are not accepting pull
requests yet".

--
Marc

[Eric Gourgoulhon]

Le lundi 6 février 2023 à 08:25:30 UTC+1, GMS a écrit :

Huge thanks to everybody involved.

+1 

Eric.  

[Marc Mezzarobba]

Marc Mezzarobba wrote:
> A minor point: the PR template still says "we are not accepting pull
> requests yet".

Another one (more of a warning to other users actually): apparently
subscriptions to issues have not been migrated; you need to
re-subscribe to issues you are interested in.

--
Marc

[Dima Pasechnik]

I've just fixed this one. We still need to create a real tempate...
>
> --
> Marc
>
> --
> 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+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/trqfvc%2473j%241%40ciao.gmane.io.

[Emmanuel Charpentier]

After followong the steps given for an existing tree, my develop branch still followed OLD-ORIGIN. Shouldn't that be orign ?

[Kwankyu Lee]

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. 

[Kwankyu Lee]

No. Make it from the remote upstream, so I think the command is 

git branch -D develop; g checkout -b develop upstream/develop

[Kwankyu Lee]

Or 

git branch -D develop; git branch --track develop upstream/develop 

[Marc Mezzarobba]

Marc Mezzarobba wrote:
> Another one (more of a warning to other users actually): apparently
> subscriptions to issues have not been migrated; you need to
> re-subscribe to issues you are interested in.

Maybe related: search patterns of the form mentions:someone (including
the default filter 'Everything mentioning you') seem to only return
issues created after the migration. ('author:someone' works fine.)

--
Marc

[Marc Mezzarobba]

Marc Mezzarobba wrote:
> Maybe related: search patterns of the form mentions:someone (including
> the default filter 'Everything mentioning you') seem to only return
> issues created after the migration.

...However, involves:@me seems to work.

--
Marc

[Matthias Koeppe]

I've noted this in https://github.com/sagemath/trac-to-github/issues/184

[Emmanuel Charpentier]

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...

[kcrisman]

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.

Gratuliere and congratulations to all the many people who made this huge task possible!