1e831f05db
After every develop→main merge, reads the version tag from index.html (e.g. v1.7.13), checks if that tag already exists, and creates a new GitHub Release if not. Body is pulled from CHANGELOG.md. This powers the in-app update badge (`check_update` action) so self-hosted Docker users see a notification when a new version is available.