RFR: merge-bot: use correct credentials for listing PRs

Erik Helin ehelin at openjdk.java.net
Fri Feb 7 13:07:39 UTC 2020


Hi all,

please review this small patch that fixes some additional credential confusion
in the merge bot. The bot did not use correct credentials for listing the pull
requests for the target repository.

Thanks,
Erik

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

Commits:
 - 509933a7: merge-bot: use correct credentials for listing PRs

Changes: https://git.openjdk.java.net/skara/pull/410/files
 Webrev: https://webrevs.openjdk.java.net/skara/410/webrev.00
  Stats: 8 lines in 1 file changed: 3 ins; 3 del; 2 mod
  Patch: https://git.openjdk.java.net/skara/pull/410.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/410/head:pull/410

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


More information about the skara-dev mailing list