The release notes would be better in the main repo using the GitHub's _Releases_ feature. Transfer it there. Also, retrospectively add ZIP files of the releases.
The release notes would be better in the main repo using the GitHub's Releases feature. Transfer it there.
Also, retrospectively add ZIP files of the releases.