digitalmars.D - Is it possible to tag pull requests?
- Andrej Mitrovic (5/5) Oct 02 2012 Some pull requests are rather trivial to approve and merge (e.g. small
- Jesse Phillips (3/12) Oct 02 2012 It is a feature of github, but I believe was disabled. This
- Jacob Carlborg (6/8) Oct 02 2012 If the github project has issues enabled, one will be automatically
- Jesse Phillips (4/11) Oct 03 2012 Oops, you are right. Forgot how close Issues/Pulls were and
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
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
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
On Wednesday, 3 October 2012 at 06:31:03 UTC, Jacob Carlborg wrote:On 2012-10-03 05:00, Jesse Phillips wrote:Oops, you are right. Forgot how close Issues/Pulls were and forgot I'm usually in issues list for my project.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.
Oct 03 2012