On 2018-08-22 21:18, Erik Bray wrote:
But at the same time pull requests are cheap, and there's no harm in
making them.
The harm is that discussion is hard to follow because it's on multiple
pages. Something that regularly happens on the Sage Trac:
1. Somebody creates an issue
2. Somebody (the same or other person) adds a branch
3. Somebody else forks that branch and adds a reviewer patch
In the GitHub model, you now have 1 issue and 2 pull requests for
exactly the same issue. Even if cross-links are added, you still end up
with spaghetti discussions.
--
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.