Is there a way to update an opam PR?

Open brendanlong opened this issue 5 years ago • 1 comments

I'm doing some releases for the first time in a while and running into minor issues when building in opam's CI. Is there a way for me to do a point release and then update the PR, or do I need to always close the original PR and open a new one?

See example here:

https://github.com/ocaml/opam-repository/pull/16369 https://github.com/ocaml/opam-repository/pull/16372 https://github.com/ocaml/opam-repository/pull/16378 https://github.com/ocaml/opam-repository/pull/16383

May 08 '20 14:05 brendanlong

For now unfortunately you'll have to close the PR, delete the github release and the tag and go through the release process again.

We do have a plan for supporting draft releases and PRs so that it doesn't feel as bad to delete them if something went wrong. Having a way to update them automatically would be nice, we'll look into it!

Jun 24 '20 09:06 NathanReb