RFR: 7194 : No local JVMs found message could be more helpful

[Marcus Hirt]

On Sat, 10 Apr 2021 09:39:52 GMT, Michael S. <github.com+29914148+docwarems at openjdk.org> wrote:

>> Hi @docwarems! Please read the comments above from the bot. It contains instruction on how to proceed with integrating the PR. Let me know if you need any help!
>
> I have problems fixing the user name for my commit as described by the bot.
> The command gives me this error with my Git client: 
> fatal: Option -m cannot be combined with -c/-C/-F.
> 
> If I omit the -m option it gives me the error
> fatal: could not lookup commit user.name=Michael S<C3><BC>dkamp
> 
> This is my user name as obtained from "git config --list". As you can see it has an escaped german character. I also tried without success with the unescaped name and with umlaut character replaced by ASCII.
> What can I do?

Don’t worry too much then. If you are happy with how your name looks in the commits, then simply write /integrate in a comment.

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

PR: https://git.openjdk.java.net/jmc/pull/232