To ensure that GitHub recognizes your latest changes and allows you to use the same version number for the release while incorporating the new PR, follow these steps:
Ensure that the latest commit (with your updated file) is indeed in main:
git checkout main
git pull origin mainIf you made changes in a PR, make sure the PR is merged into main first.