[mythtv] Pull requests sufficient?

[Stuart Morgan]

On Saturday 05 May 2012 09:09:22 Paul Gardiner wrote:
> I've just generated a push request. Is that considered a valid
> alternative to a ticket, or should I open a corresponding
> ticket too.

You need to open a ticket as well. Most devs don't read pull requests on 
github, especially not since we're no longer committing direct to github. For 
tracking and accounting purposes we prefer to have everything in one place.
-- 
Stuart Morgan