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 contribute to the project.
Matthias On Thursday, September 9, 2021 at 1:43:58 AM UTC-7 Dima Pasechnik wrote: > 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.d...@gmail.com> wrote: > > > > +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 à 00:47:44 UTC+2, Nils Bruin a écrit : > > > > > >> On: > > >> > > >> https://doc.sagemath.org/html/en/developer/manual_git.html > > >> > > >> it is suggested to start with > > >> > > >> git clone https://gitlab.com/sagemath/dev/tracmirror.git > > >> > > >> however, the gitlab mirror is stuck at 9.3. The github mirror tracks > the > > >> development tree much better. Shouldn't we be pointing people to that > > >> instead? Or perhaps straight to trac.sagemath.org ? > > >> > > >> Incidentally, on FC 33 and FC 34, the default settings are pretty > strict > > >> for cryptographic signatures, and "ssh g...@trac.sagemath.org info" > fails > > >> as a result. A way of making FC >=33 more accepting of outdated > signature > > >> schemes is by: > > >> > > >> sudo update-crypto-policies --set LEGACY > > >> > > > > > > > -- > > 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/510102cf-26fc-f834-4d6c-d5865a1e5b8b%40gmail.com > . > -- 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/2817e314-bea1-47c0-8814-0d7f6f26b86en%40googlegroups.com.
