| commit | 0a60ed448c00d48f6ee400362c912c395356b142 | [log] [tgz] |
|---|---|---|
| author | Nikolas Grottendieck <git@nikolasgrottendieck.com> | Sun Apr 20 18:29:14 2025 +0200 |
| committer | Maarten Mulders <mthmulders@apache.org> | Sun Jul 27 15:59:20 2025 +0200 |
| tree | 2878133a00d75404274630590efd57fd44d077e0 | |
| parent | 3f9736c9f3cc90bb47519d8f99b60aee91f1b0fa [diff] |
Provide actual toolchain name during "current JDK" log messages This change makes the info and debug statements during the toolchain selection process more useful to users. As a user the actually selected toolchain name is usually interesting/important information and required when debugging problems. Closes #126.
You have found a bug, or you have an idea for a cool new feature? Contributing code is a great way to give something back to the open source community. Before you dig right into the code, there are a few guidelines that we need contributors to follow so that we can have a chance of keeping on top of things.
We accept Pull Requests via GitHub. The developer mailing list is the main channel of communication for contributors.
There are some guidelines which will make applying PRs easier for us:
git diff --check before committing.mvn -Prun-its verify to assure nothing else was accidentally broken.If you plan to contribute on a regular basis, please consider filing a contributor license agreement.
For changes of a trivial nature to comments and documentation, it is not always necessary to create a new ticket in JIRA. In this case, it is appropriate to start the first line of a commit with ‘(doc)’ instead of a ticket number.