Thanks for the kind words and feedback. I'll add a section for Status over
the weekend.
We've been mostly crisis driven, so when it comes to stuff like this it
just hasn't bubbled up. Also needed are updated screenshots and animated
GIFs - things often look a little better than what's current
Wow, that's a fantastic email and great work that you're doing!
If you haven't already, maybe you could turn this email into a
"Status" link on the mathics website, since it's really good.
-- William
On Thu, Sep 9, 2021 at 4:17 AM Rocky Bernstein
wrote:
>
> In the past year we have:
>
> Upgrad
On Thu, Sep 9, 2021 at 4:00 PM Matthias Koeppe wrote:
>
> I use git-trac all the time, but I do agree that it is better for the
> developer's manual to begin with standard git instructions and only describe
> git-trac as an optional convenience tool.
> We should avoid the impression that project
I use git-trac all the time, but I do agree that it is better for the
developer's manual to begin with standard git instructions and only
describe git-trac as an optional convenience tool.
We should avoid the impression that project-specific special tooling is
required if people want to contrib
Hi,
On Thu, Sep 09, 2021 at 03:04:37AM -0700, 'Martin R' via sage-devel wrote:
> Actually, I use "git trac" a lot. Mainly "git trac try", "git trac pull"
> and "git trac create". I find it very convenient to only pass the trac
> ticket number.
I use it a lot too. Let me also mention "git trac
Actually, I use "git trac" a lot. Mainly "git trac try", "git trac pull"
and "git trac create". I find it very convenient to only pass the trac
ticket number.
Martin
dim...@gmail.com schrieb am Donnerstag, 9. September 2021 um 10:43:58 UTC+2:
> I think that 'git trac' is mainly used by the r
I think that 'git trac' is mainly used by the release manager - I
won't recommend it to newcomers.
On Thu, Sep 9, 2021 at 9:36 AM Vincent Delecroix
<20100.delecr...@gmail.com> wrote:
>
> +1 : Learning git is a useful skill. And a developer is likely to
> know git already.
>
> Le 09/09/2021 à 09:4
+1 : Learning git is a useful skill. And a developer is likely to
know git already.
Le 09/09/2021 à 09:49, Eric Gourgoulhon a écrit :
Also the title of that section, "Git the hard way", should be changed. It
should rather be "Git the *standard* way" IMHO.
Eric.
Le mercredi 8 septembre 2021
Also the title of that section, "Git the hard way", should be changed. It
should rather be "Git the *standard* way" IMHO.
Eric.
Le mercredi 8 septembre 2021 à 00:47:44 UTC+2, Nils Bruin a écrit :
> On:
>
> https://doc.sagemath.org/html/en/developer/manual_git.html
>
> it is suggested to star
