On 09/04/2018 02:33 PM, Jeroen Demeyer 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. If we ever move to GitLab, we really should keep this workflow.
This should not be a problem (i.e. adapting git-trac to a git-gitlab) as Gitlab has a convenient API. See, for example, https://docs.gitlab.com/ee/api/merge_requests.html#get-single-mr which provides all information needed. Daniel -- 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.
