RFR: 60: Add `integrated` to closed pull requests that have been integrated

[Robin Westberg via github.com]

Hi all,

Please review this change that adds an 'integrated' label to a PR after it has been integrated.

Best regards,
Robin

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

Commits:
 - 85af475c:	Add integrated label to PRs when integrating them

Pull request:
https://git.openjdk.java.net/skara/pull/58

Webrev:
https://webrevs.openjdk.java.net/skara/58/webrev.00

Patch:
https://git.openjdk.java.net/skara/pull/58.diff

Fetch command:
git fetch https://git.openjdk.java.net/skara pull/58/head:pull/58