Integrated: git-pr-fetch: remove --branch option

[Erik Helin]

On Sat, 5 Sep 2020 07:20:00 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that removes the `--branch` option from `git pr fetch` to make `git pr fetch` align better
> with `git fetch`.
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: 2e89e20b
Author:    Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/2e89e20b
Stats:     11 lines in 1 file changed: 10 ins; 0 del; 1 mod

git-pr-fetch: remove --branch option

Reviewed-by: rwestberg

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

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