I've found its good practice to prefix/include "WIP" or "WORK IN PROGRESS"
in the title.

Labels are only assignable by committers/triagers

On Thu, Jul 11, 2019 at 12:46 PM martinda <[email protected]> wrote:

> For:
>
>> to tell him that PR#2 needed review and shouldn't have been merged
>>
>
> Are you able to assign a label to the PR? I have used labels like "do not
> merge" before.
>
> Martin
>
> --
> You received this message because you are subscribed to the Google Groups
> "Jenkins Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/jenkinsci-dev/6180cc33-633e-4fb5-81c1-f6900de78898%40googlegroups.com
> <https://groups.google.com/d/msgid/jenkinsci-dev/6180cc33-633e-4fb5-81c1-f6900de78898%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_DusFtXTEnat9ov6%3DyypqG_fxBt3%2BoxYQN57ooLOYR1EwOA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to