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. > > 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.
Why? A GitHub pull request at a repo X is, internally, a branch on the repo X. So you can change the branch on your clone of X, just as you do on a single git repo workflow. See https://help.github.com/articles/checking-out-pull-requests-locally/ (or https://hub.github.com/hub-checkout.1.html - if you want to use their command line tool 'hub') Dima > If we ever move to GitLab, we really should keep this workflow. > > -- > 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. -- 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.
