Integrated: 1582: /integrate defer should be named /integrate delegate

[Zhao Song]

On Thu, 27 Oct 2022 18:19:06 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.

This pull request has now been integrated.

Changeset: 5d9dcc24
Author:    Zhao Song <zsong at openjdk.org>
Committer: Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/5d9dcc24a74ed4e960b79ee2aec35d3e3dc8dbab
Stats:     67 lines in 2 files changed: 35 ins; 1 del; 31 mod

1582: /integrate defer should be named /integrate delegate

Reviewed-by: erikj

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

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