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

Wed Nov 2 17:23:32 UTC 2022

On Wed, 2 Nov 2022 17:07:58 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:
> 
>   Modified help message in IntegrateCommand

Marked as reviewed by erikj (Lead).

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

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