> > > The downside (that will always remain to me) with GH/GL is anything with >> their web interface is highly decentralized, >> > > No, no such thing. >
The fact that PRs and issues are on two completely different pages is already decentralized. There is no clear single place for discussion, with multiple PRs that can have their own threads. > > >> whereas with trac, things are highly concentrated on tickets, which are a >> single point of reference. Using the GH/GL model, we have all of these forks >> > > Irrelevant because in the proposed workflow you never look at another > developer's fork. > This is not true. You do not have a central point for branch access. Now because of PRs that get attached to the main project, they do become centralized. However, I cannot easily share or get a branch from another developer that is not linked by a PR. > > (which we have to tell newbies are not the same as branches and should not >> be used as such). >> > There is also more manual things we have to type and sync subject to human >> (typo) error. This is likely manageable to me compared to some of the other >> benefits (although I will personally experience none of those). Despite >> this, I still have reservations about the increased pains of development >> from trying to fit a mostly square peg into a round hole, and subsequently >> am still opposed to the move >> > > Sorry, this is just a rant based on nothing > Matthias, your dismissive attitude is not helpful. I am even starting to come around that this move could have benefits that outweigh the costs. The linking of issues to PRs is something that a human has to manually type in, right? (Just today I mistyped a ticket number on trac.) For trac tickets, you would have had to not realized you were on the wrong page, which is far less subtle. My opposition also based on how easy it is to share and manage different branches and communication of things involving a single issue. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/32822474-46cd-4965-a777-a949cf541e1an%40googlegroups.com.
