Integrated: Improve "git pr help"

Fri Sep 4 13:22:30 UTC 2020

On Fri, 4 Sep 2020 09:44:52 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> The help texts were never shown for the "git pr" sub-commands.

This pull request has now been integrated.

Changeset: 65d45ce2
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
Committer: Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/65d45ce2
Stats:     144 lines in 3 files changed: 63 ins; 77 del; 4 mod

Improve "git pr help"

Reviewed-by: ehelin

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

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