RFR: SKARA-725: Rename git-pr-reviewer --add to git-pr-reviewer --credit

[Kartik Ohri]

On Mon, 2 Nov 2020 17:24:38 GMT, Kartik Ohri <github.com+27751938+amCap1712 at openjdk.org> wrote:

> Hi!
> The patch renames the add option to the credit in accordance with the change in the `/reviewer` command on OpenJDK Github bot.
> 
> I was unable to find any related documentation that should reflect  this change. If something needs to be updated, kindly point me to it and I'll do the needful changes.
> 
> Thanks.
> Regards,
> Kartik

Thanks David for the reply. I think the link you mentioned is rather for the PR bot not the cli tool. But in any case, I do not have a OpenJDK login so I think cannot modify that page.

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

PR: https://git.openjdk.java.net/skara/pull/938