Integrated: 8331113: createJMHBundle.sh support configurable maven repo mirror

[SendaoYan]

On Thu, 25 Apr 2024 09:47:11 GMT, SendaoYan <syan at openjdk.org> wrote:

> The script make/devkit/createJMHBundle.sh use fixed maven repo server: https://repo.maven.apache.org/maven2. It's maybe useful to make the maven repo mirror configurable.
> 
> Only change devkit shell script, no risk.

This pull request has now been integrated.

Changeset: ce9eac38
Author:    SendaoYan <syan at openjdk.org>
Committer: Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/ce9eac38191fa700afa3ac06b2b202576a11dd71
Stats:     3 lines in 1 file changed: 1 ins; 0 del; 2 mod

8331113: createJMHBundle.sh support configurable maven repo mirror

Reviewed-by: redestad, erikj

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

PR: https://git.openjdk.org/jdk/pull/18946