**IF** the title contains the "[WIP]" string **THEN** the pull request must have the label "WIP" --- **IF** the title doesn't contain the "[WIP]" string AND the pull request is after "In Progress" **THEN** the pull request must not have the label "WIP"
IF
the title contains the "[WIP]" string
THEN
the pull request must have the label "WIP"
IF
the title doesn't contain the "[WIP]" string
AND the pull request is after "In Progress"
THEN
the pull request must not have the label "WIP"