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!
--
You received this message be
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 devel
I've noted this in https://github.com/sagemath/trac-to-github/issues/184
On Monday, February 6, 2023 at 9:57:40 AM UTC-8 Marc Mezzarobba wrote:
> Marc Mezzarobba wrote:
> > Maybe related: search patterns of the form mentions:someone (including
> > the default filter 'Everything mentioning you') s
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
--
You received this message because you a
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 'Ever
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, 202
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 s
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.
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/do
On Mon, Feb 6, 2023 at 9:07 AM Marc Mezzarobba wrote:
>
> Thank you all for your work!
>
> A minor point: the PR template still says "we are not accepting pull
> requests yet".
I've just fixed this one. We still need to create a real tempate...
>
> --
> Marc
>
> --
> You received this message bec
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
--
Thank you all for your work!
A minor point: the PR template still says "we are not accepting pull
requests yet".
--
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 e
Great! Thank you!
--
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
13 matches
Mail list logo
