I have made some of the suggested changes in https://trac.sagemath.org/ticket/29784, needs review.
On Monday, September 13, 2021 at 8:58:34 AM UTC-7 Matthias Koeppe wrote: > OK who's going to push the first commit to the ticket > https://trac.sagemath.org/ticket/29784 ? > > On Monday, September 13, 2021 at 6:35:40 AM UTC-7 Thierry > (sage-googlesucks@xxx) wrote: > >> Hi, >> >> On Mon, Sep 13, 2021 at 02:05:36PM +0100, Dima Pasechnik wrote: >> > On Fri, 10 Sep 2021, 19:39 Simon King, <simon...@uni-jena.de> wrote: >> > >> > > Hi Dima, >> > > >> > > On 2021-09-09, Dima Pasechnik <dim...@gmail.com> wrote: >> > > > I think that 'git trac' is mainly used by the release manager - I >> > > > won't recommend it to newcomers. >> > > >> > > No, I'm not a release manager, but I find it very practical to be able >> > > to do "git trac pull 12345" instead of doing a series of commands that >> > > I simply don't manage to memorise. >> > > >> > >> > assuming that "trac" points to our Git server (as it normally done) >> this is >> > just >> > >> > git pull trac <name of the ticket branch> >> >> >> This is not "just": your suggestion hides the fact that you have to >> copy/paste the name of the ticket branch from a webbrowser, which is >> boring and takes time. >> >> The point of the "git trac" command is to link git branches with trac >> tickets, so that you do not have to do it by hand. >> >> Ciao, >> Thierry >> >> >> >> >> > >> > > Best regards, >> > > Simon >> > > >> > > -- >> > > 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/shg8p9%2445p%241%40ciao.gmane.io >> > > . >> > > >> > >> > -- >> > 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/CAAWYfq3%3Dk9aMWaXPv%2BpGrXtq0rv3VWFESKa5YswnhVvK_3gL2g%40mail.gmail.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/ca775a9d-aa39-4a33-9d56-b069221fbb3dn%40googlegroups.com.
