Changeset: 099d7153 Author: Erik Helin <ehelin at openjdk.org> Date: 2020-02-07 13:04:59 +0000 URL: https://git.openjdk.java.net/skara/commit/099d7153 merge-bot: use correct credentials for listing PRs Reviewed-by: rwestberg ! bots/merge/src/main/java/org/openjdk/skara/bots/merge/MergeBot.java