RFR: 60: Add `integrated` to closed pull requests that have been integrated
Erik Duveblad via github.com
duke at openjdk.java.net
Mon Aug 19 14:20:37 UTC 2019
On Mon, 19 Aug 2019 12:27:27 GMT, Robin Westberg via github.com <duke at openjdk.java.net> wrote:
> Hi all,
> Please review this change that adds an 'integrated' label to a PR after it has been integrated.
> Best regards,
> - 85af475c: Add integrated label to PRs when integrating them
> Pull request:
> Fetch command:
> git fetch https://git.openjdk.java.net/skara pull/58/head:pull/58
This PR has been reviewed by Erik Duveblad via github.com - changes are approved. Review comment:
Looks good, nice feature!
More information about the skara-dev