On Wed, Aug 22, 2018 at 11:08 AM Simon King <simon.k...@uni-jena.de> wrote: > > Tue 2018-08-21 08:43:19 UTC, Erik Bray: > > What does everyone think? Is there anyone opposed to going ahead and > > opening up merge requests? > > Is the plan to successively reduce the usage of our current trac system > and completely move to gitlab? In that case I would be rather reluctant.
If I'm to be honest, that is *my* plan, but that is not the immediate plan for integrating with GitLab. At a certain point it makes little sense to maintain two parallel systems. But porting our existing database of Trac issues to another system would still be a massive undertaking and not trivial to get right. I say this as a former developer of Trac and someone who is generally a big proponent of it. I would still argue that its ticket and wiki systems are far superior to those offered by either GitHub or GitLab (Bitbucket tops both IMO but that's a controversial opinion). So I'm not in any hurry to move totally off of Trac, but in the long-term it makes little sense to me not to. This is a subject of controversy in the python-devel as well. Most people have been happy with using GitHub for pull requests, but there are still those who are hesitant to take the next step. There is, as of recently a draft PEP for migrating their issues to GitHub, but it is by no means settled: https://www.python.org/dev/peps/pep-0581/ Many of the arguments for and against apply for us as well, just s/Python/Sage/; s/bpo/trac/; s/GitHub/GitLab/. Though not all arguments apply--I would argue that what we have with Trac currently is much better than Python's old Roundup-based issue tracker. In the meantime I'm happy to take things one step at a time and reassess as we go. I am not 100% sold on moving entirely away from Trac, even if I believe it's inevitable. -- 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.
