Member
No description provided.
Member
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I am not sure this is needed as closing a PR on GitHub is very easy. Seems like a lot of code to replicate that.
Member Author
The rationale is to have a complete way to script submission, tracking, etc. This one is probably the less useful one, but still the changes are useful for a couple of follow-ups I have.
mosteo marked this pull request as ready for review
July 19, 2023 11:51
Member Author
I'm merging this one to simplify submitting the latest one in the series. We can reconvene afterwards to remove anything unwanted.
mosteo deleted the feat/publish-cancel branch
July 25, 2023 10:21