Integrated: 1817: 'WIP merge requests' renamed to 'draft merge requests' in GitLab

[Zhao Song]

On Mon, 13 Feb 2023 22:56:46 GMT, Zhao Song <zsong at openjdk.org> wrote:

> Since 'WIP' is deprecated in GitLab, we need to update methods related with 'WIP'.

This pull request has now been integrated.

Changeset: 964ff9c2
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/964ff9c2e3bdfe49c89b3c3ec2723d7d3e675aaa
Stats:     28 lines in 4 files changed: 22 ins; 1 del; 5 mod

1817: 'WIP merge requests' renamed to 'draft merge requests' in GitLab

Reviewed-by: ihse, gli, erikj

-------------

PR: https://git.openjdk.org/skara/pull/1472