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

[Zhao Song]

On Wed, 2 Nov 2022 16:51:04 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

>> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   fixed bug in IntegrateTests
>
> bots/pr/src/main/java/org/openjdk/skara/bots/pr/IntegrateCommand.java line 55:
> 
>> 53: 
>> 54:     private void showHelp(PrintWriter reply) {
>> 55:         reply.println("usage: `/integrate [auto|manual|delegate|undelegate<hash>]`");
> 
> Looks like you lost a `|`.

Yes, thanks for reminding. Will fix it.

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

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