RFR: 1582: /integrate defer should be named /integrate delegate [v3]

[Erik Joelsson]

On Thu, 27 Oct 2022 20:48:47 GMT, Zhao Song <zsong at openjdk.org> wrote:

>> In this patch, to make the user has better experience, the command `/integrate defer` has been updated to `/integrate delegate` and the command `/integrate undefer` has been updated to `/integrate undelegate`.
>> 
>> `/integrate defer` and `/integrate undefer` are still valid. But warning message will be printed when these two commands are used.
>> 
>> After this patch is merged, the wiki page [/integrate](https://wiki.openjdk.org/display/SKARA/Pull+Request+Commands#PullRequestCommands-/integrate) should be updated.
>
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
> 
>   fixed bug in IntegrateTests

Looks good. Note that since the label is being changed as well, we need to make sure there aren't any deferred PRs in flight when this is deployed.

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

Marked as reviewed by erikj (Lead).

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