Some pull requests are rather trivial to approve and merge (e.g. small doc fixes, typo fixes), and it would be nice if a pull requester could tag a pull as "trivial" when the pull is made.

Otherwise I guess we could start using a convention and add [trivial] before the title? I think it might help speed up the merging process.

On Tuesday, 2 October 2012 at 23:21:13 UTC, Andrej Mitrovic wrote:
> Some pull requests are rather trivial to approve and merge (e.g. small
> doc fixes, typo fixes), and it would be nice if a pull requester could
> tag a pull as "trivial" when the pull is made.
>
> Otherwise I guess we could start using a convention and add [trivial]
> before the title? I think it might help speed up the merging process.

It is a feature of github, but I believe was disabled. This sounds like a good reason to enable it. Project owners?

On 2012-10-03 05:00, Jesse Phillips wrote:

> It is a feature of github, but I believe was disabled. This sounds like
> a good reason to enable it. Project owners?

If the github project has issues enabled, one will be automatically created when a pull request is made. These issues can then later be labeled. Don't know if there's a better way.

-- 
/Jacob Carlborg

On Wednesday, 3 October 2012 at 06:31:03 UTC, Jacob Carlborg wrote:
> On 2012-10-03 05:00, Jesse Phillips wrote:
>
>> It is a feature of github, but I believe was disabled. This sounds like
>> a good reason to enable it. Project owners?
>
> If the github project has issues enabled, one will be automatically created when a pull request is made. These issues can then later be labeled. Don't know if there's a better way.

Oops, you are right. Forgot how close Issues/Pulls were and forgot I'm usually in issues list for my project.