Add files containing SHA256 checksums of the builds at https://josm.openstreetmap.de/download/

[dick@…]

Would it be possible to add a file (per build) which contains the SHA256 checksum of the build?

Something like:

josm-snapshot-19265.jar.sha256 containing e87a09a161fd4ec8392e400b95af0d1c67df5b29abd36560646dd91b9041b857

This would allow getting the build from another location (like a mirror) and ensure it's as distributed by josm.openstreetmap.de by only downloading the sha256 file.