Keeping in mind that this is still sort of off-topic, in my mind, from the subject at hand which is allowing merge request submissions from GitLab, which still get turned into Trac tickets...
On Tue, Sep 4, 2018 at 2:33 PM Jeroen Demeyer <j.deme...@ugent.be> wrote: > > Let me make one important comment (something that I've said before > though): a large part of what makes the current workflow work is not so > much Trac itself but our git server and the "git trac" scripts. Which is in no way unique to Trac. In fact they're part of the custom cobbled-together way we use git + trac. For GitHub there is the very popular "hub" CLI which does the same thing. For GitLab the options are a bit more scattered. This program called "lab" (which mysteriously is hosted on GitHub) purports to wrap "hub" to add GitLab support: https://github.com/zaquestion/lab Admittedly I have not tried it. Even if you love the "git trac" command it would be easy to adapt to GitLab's API. In either case I'm all for having easy to use command-line tools but that is in no way particular to Trac. > For example, I very much like the fact that we have a single git repo > where all pull requests appear. Checking out a pull request for > reviewing is so much easier with Sage than it is with typical GitHub > projects. If we ever move to GitLab, we really should keep this workflow. I don't like it. I think it's a mess; especially since people don't delete their branches after they're merged (I have not been as good about that myself as I would like). But that's also why we set up https://gitlab.com/sagemath/dev/sage , which mirrors all the trac branches, and that anyone granted write access can create branches on, and create merge requests from those branches. I find it odd that you put these two issues side-by-side, since having a good CLI tool also makes it trivial to check out a branch from a remote fork *shrug* -- 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. For more options, visit https://groups.google.com/d/optout.
