Integrated: SKARA-725: Rename git-pr-reviewer --add to git-pr-reviewer --credit
Kartik Ohri
github.com+27751938+amcap1712 at openjdk.java.net
Thu Nov 12 12:32:01 UTC 2020
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
This pull request has now been integrated.
Changeset: f4dc83b6
Author: Kartik Ohri <kartikohri13 at gmail.com>
Committer: Erik Helin <ehelin at openjdk.org>
URL: https://git.openjdk.java.net/skara/commit/f4dc83b6
Stats: 8 lines in 1 file changed: 0 ins; 2 del; 6 mod
725: Rename git-pr-reviewer --add to git-pr-reviewer --credit
Reviewed-by: ehelin
-------------
PR: https://git.openjdk.java.net/skara/pull/938
More information about the skara-dev
mailing list