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

[David Holmes]

Hi,

On 3/11/2020 3:27 am, Kartik Ohri 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.

Documentation is here:

https://wiki.openjdk.java.net/display/SKARA/Pull+Request+Commands#PullRequestCommands-/reviewer

Cheers,
David

> Thanks.
> Regards,
> Kartik
> 
> -------------
> 
> Commit messages:
>   - git-pr reviewer rename add option to credit
> 
> Changes: https://git.openjdk.java.net/skara/pull/938/files
>   Webrev: https://webrevs.openjdk.java.net/?repo=skara&pr=938&range=00
>    Issue: https://bugs.openjdk.java.net/browse/SKARA-725
>    Stats: 7 lines in 1 file changed: 0 ins; 2 del; 5 mod
>    Patch: https://git.openjdk.java.net/skara/pull/938.diff
>    Fetch: git fetch https://git.openjdk.java.net/skara pull/938/head:pull/938
> 
> PR: https://git.openjdk.java.net/skara/pull/938
>