Request Maven options to allow maven central mirror url #486
Description
Description:
Currently setup-java action generates the default maven settings.xml on the fly. It defaults to the maven central URL https://repo.maven.apache.org/, which unfortunately had an incident for a few hours on 4/19/2023 when that URL went down and our github actions workflows for CI stopped working. I would like to request if you could add additional option(s) in setup-java action to allow users to enter a maven central mirror URL such as https://repo1.maven.org/maven2 to work around incident like that if/when it occurs.
Justification:
In case of the default maven central URL goes offline, we need a way in the github actions CI workflows to instruct settings.xml auto generated by this action to point to a mirror URL for maven central.
Are you willing to submit a PR?