Integrated: 975: Add /open pull request command

[Erik Helin]

On Sat, 17 Apr 2021 09:23:33 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that adds the `/open` pull request command to allow pull request authors to re-open a closed pull request.
> 
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: 9b9fe918
Author:    Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/9b9fe918
Stats:     239 lines in 3 files changed: 238 ins; 0 del; 1 mod

975: Add /open pull request command

Reviewed-by: rwestberg

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

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