[skara] Integrated: Add -t/--tool to pr show to use git difftool

Fri Mar 19 15:27:45 UTC 2021

On Fri, 19 Mar 2021 12:49:01 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> This will leverage the already existing `git pr show` to use your favorite diff viewer.

This pull request has now been integrated.

Changeset: 1c2c6f37
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/1c2c6f37
Stats:     13 lines in 2 files changed: 6 ins; 0 del; 7 mod

Add -t/--tool to pr show to use git difftool

Reviewed-by: ehelin

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

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