[mythtv] Pull requests sufficient?

[Paul Gardiner]

On 05/05/2012 10:27, Stuart Morgan wrote:
> 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.

Ok. Makes sense.

Just out of interest, what is your committing procedure now if no
longer direct to github?

Paul.