[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


yebblies <yebblies at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |yebblies at gmail.com


--- Comment #6 from yebblies <yebblies at gmail.com> 2014-03-01 00:24:00 EST ---
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.

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

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