- Tag a new version of a package and run
PkgDev.publish()to create a PR to METADATA.jl.
- Collect comments and do changes to your package.
- Add a new commit to your package.
- Update PR.
Steps 1 to 3 are clear, but what is the supposed way to perform step 4? So far the best approach I came with is to:
PkgDev.tag("MyPackage", v"<same-version>"; force=true)to replace the tag locally.
git push -f origin v<same-version>to push updated tag to GitHub.
PkgDev.publish()to create a new PR with renewed tag.
But I suspect posting a new PR each time I have changes is time-consuming for maintainers.
An alternative way is to:
- Go to PR’s page on GitHub.
- Manually modify
sha1file to include new git hash.
But this creates a new commit each time an edit is done.
So what is the intended way to update an existing PR?