[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 #7 from Vladimir Panteleev <thecybershadow at gmail.com> 2014-02-28 15:26:47 EET ---
(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.

> The downside is that people might start reporting actual issues there instead
> of here, but it might be worth the extra bookkeeping.

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.

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