[Issue 12254] Github interaction improvement proposals (via user.js or addins)

[d-bugmail at puremagic.com]

https://d.puremagic.com/issues/show_bug.cgi?id=12254



--- Comment #8 from yebblies <yebblies at gmail.com> 2014-03-01 00:46:38 EST ---
(In reply to comment #7)
> (In reply to comment #6)
> > I'm not sure about this, but we could try enabling issues on the repositories. 
> > This would let us tag and assign pull requests, and the autotester could tag
> > pulls as passing/failing.  We could even have a bot that could tag pulls as
> > stale if they have been in the 'needs work' state for > n weeks etc.
> 
> I think that would make sense only if it solved all or almost all of the
> problems.
> 

Well, decent tagging and search does seem to cover most of these.

> 
> I think there's some file you can add to the repository that'll be displayed
> automatically when attempting to file a new issue. This can direct users to
> Bugzilla.

That would work.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------