Integrated: 975: Add /open pull request command
ehelin at openjdk.java.net
Mon Apr 19 08:39:45 UTC 2021
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.
This pull request has now been integrated.
Author: Erik Helin <ehelin at openjdk.org>
Stats: 239 lines in 3 files changed: 238 ins; 0 del; 1 mod
975: Add /open pull request command
More information about the skara-dev