Robert Bradshaw wrote:
[...] now that we're on git a pull request is 99% of what a ticket is
I'm happy that this (still) is *not* the case (for most tickets at least).
(specifically, an annotated point to a particular git branch/commit that needs review) and we should seriously consider accepting that format for contributions.
I personally don't like trac very much (although it's become better over time), but IMHO all discussion / review of a contribution should (finally) happen in a central place, which currently is trac for Sage development.
(During the switch to git, trac and ordinary reviewing effectively got bypassed; fortunately that stopped after the switch.)
-leif -- () The ASCII Ribbon Campaign /\ Help Cure HTML E-Mail -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
