[skara] Integrated: pr: configure fork names explicitly

Erik Helin ehelin at openjdk.java.net
Mon Feb 15 13:16:06 UTC 2021


On Mon, 15 Feb 2021 12:36:07 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this small patch that allows fork names to be configured a bit more freely for the PR bot.
> 
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: 3cf5bd0b
Author:    Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/3cf5bd0b
Stats:     3 lines in 1 file changed: 0 ins; 0 del; 3 mod

pr: configure fork names explicitly

Reviewed-by: rwestberg

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

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


More information about the skara-dev mailing list