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 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/4eb2c412-2234-495f-a4b9-0e552a968eebn%40googlegroups.com.
