On Monday, January 11, 2016 at 8:25:32 PM UTC+1, Jeroen Demeyer wrote:
>
> What I mostly dislike about github is that "issues" and "pull requests"
> are different things. I very much prefer the trac model where you create
> a ticket, discuss things, then have multiple people work together on a
> branch all on the same page. With github, it sometimes happens that you
> have one issue and several pull requests by different people which are
> all about the same thing. I get lost more easily in the github forest.
>
On the other hand you can unsubscribe from each of these branches of
conversation. Also, since a new code branch is a separate pull request
the old branch stays visible until it's explicitly closed. It's up to you
to add
# links if you want. Moreover, backlinks from any of the conversation
branches
are shown automatically ("user referenced this pull request 5 days ago
<https://github.com/symengine/symengine/pull/752#ref-issue-123534774>").
Another useful thing is that everything on trac is in one git tree. I
> can do "git fetch" and have all tickets ready to check out without any
> hassle. I don't know if you can easily checkout a pull request from
> github.
>
Of course you can.
> Finally a stupid thing: I don't get why github discussions don't have a
> "reply" button.
>
That is easily enhanced by custom scripts:
https://github.com/jerone/UserScripts
Can you do that with trac? Are there people interested, at all?
--
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.
