What is the proper way of dealing with a rejected pull request on the General registry when using PkgDev.tag through the vscode extension interface?
Am I supposed to push the requested modifications to my project on the release branch created by PkgDev? The most recent commit on that branch shows an already incremented version in the Project.toml file so that doesn’t seem right.
Should I instead push modification on main/master and run PkgDev.tag again? What about changes that I might have pushed on main/master in the meantime and that I do not want to include in the release?