www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Is it possible to tag pull requests?

reply Andrej Mitrovic <andrej.mitrovich gmail.com> writes:
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.
Oct 02 2012
next sibling parent reply "Jesse Phillips" <jessekphillips+D gmail.com> writes:
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?
Oct 02 2012
parent Jacob Carlborg <doob me.com> writes:
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
Oct 02 2012
prev sibling parent "Jesse Phillips" <Jessekphillips+D gmail.com> writes:
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.
Oct 03 2012