FYI: The merge bot should use hostedrepository with proper credentials

[Robin Westberg]

Hi all,

Please review this small change that ensures that when the merge bot tries to add a label, it uses proper credentials.

Best regards,
Robin

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

Commit messages:
 - Use hostedrepository with proper credentials

Changes: https://git.openjdk.java.net/skara/pull/545/files
 Webrev: https://webrevs.openjdk.java.net/skara/545/webrev.00
  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/skara/pull/545.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/545/head:pull/545

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