git: openjdk/skara: merge-bot: use correct credentials for listing PRs

Erik Helin ehelin at openjdk.java.net
Fri Feb 7 13:05:11 UTC 2020


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



More information about the skara-dev mailing list