define version in properties file

[mingness]

• move definition of prettyVersion to properties file.
• move version definition in build file to outside of section designated for users to define
• move reading in of properties file earlier, so its value of prettyVersion can be used to define version

[github-actions]

PR Preview Action v1.6.0
Preview removed because the pull request was closed.
2025-04-02 14:14 UTC

[SableRaf]

Hey @mingness thanks for these updates!

In release.properties, I'd suggest adding a comment to mention the fact that this property may be overwritten by a GitHub release tag.

Something like this:

// Note: The prettyVersion value defined here can be overwritten by a GitHub release tag. 
// If a release tag is present, the numeric part of the tag will be used as the version number.
// See docs/release.md for more details.

[mingness]

@SableRaf thanks, good suggestion - it is now there.