On Thu, Apr 19, 2012 at 1:15 PM, philipn <[email protected]> wrote: > > > > On Wednesday, April 18, 2012 5:26:27 PM UTC-7, dstufft wrote: >> >> Github issues do not have the ability for anyone to close, tag, or create >> milestones. You have to be the creator of the ticket or someone with >> commit access. Django's track instance allows anyone to participate >> in this way and is one of the major reasons to my knowledge that >> Django will keep it's trace instance. >> >> > I just investigated and it's indeed the case that non-commit members > cannot add/delete tags or milestones from issues. Is this a dealbreaker for > GitHub Issues, or could this be worked around? E.g. commit members could do > tagging and milestone labeling. Looking through the Trac instance, most > milestone setting appears to be done by core devs. >
Lack of milestones could probably be worked around, but without the ability to tag issues Django's triage process would be dead in the water. I don't know if Django could support that, we are up to ticket #18xxx now. That doesn't mean there aren't ways to improve the status quo: maybe pull requests could be supported as an explicit alternative to attached patches. That might mean we lose explicit notification of all code changes on a ticket. A Trac plugin that follows changes to a GitHub pull request sounds like a powerful tool, and could be widely useful. There's not actually a way to notify Trac of changes to pull requests as far as I can tell, but you can query and check for recent updates. I'll look into this more. As an aside, just because we are starting to use git doesn't mean that linear history isn't valuable. I know of several successful projects that use git that use patch-based workflows rather than merging. The advantage of that is a linear history with each feature packaged into a neat commit. The extra detail is great for developing, but not so great for a mainline history (it breaks 'git bisect' for example). Best, Alex Ogier -- You received this message because you are subscribed to the Google Groups "Django developers" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/django-developers?hl=en.
