On Saturday, July 6, 2019 at 4:54:45 AM UTC-6, Samuel Lelievre wrote: > > Dear Jerry, > > thanks for reporting. We should make the change you suggest. > > At some point we had a bot that transformed pull requests > on the SageMath repo at *GitHub* into Sage Trac tickets but > the code for this bot was lost at some point. > > Instead we now have a bot that transforms merge requests > on the SageMath repo at *GitLab* into Sage Trac tickets: > > https://gitlab.com/sagemath/sage > > The process is the same as with GitHub, the only difference > being that GitLab calls "merge request" what GitHub calls > "pull request". Fork the repository, make changes on your fork, > create a merge request. > > We should update the documentation to reflect that. > > Samuel >
Okay, that is good to know. At this point, I am already set up to use git trac, so I will continue down that path. Thank you for the reply! Regards, -- Jerry James -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/8bd62f36-1b1b-43dc-a591-605ce15770a3%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
