Closed kentquirk closed 9 months ago
Thanks. It's deliberate not to include the whole "changelog" dance for something like this; simply tagging and publishing the release using GitHub's features seems like enough for a tool like this.
Thanks. It's deliberate not to include the whole "changelog" dance for something like this; simply tagging and publishing the release using GitHub's features seems like enough for a tool like this.
Oh yeah that's all fine. I just mean we've been trying to get extra explicit with the steps to tag, eg pull down main, annotate the tag, git push origin v123 (to avoid confusion or accidentally pushing extra tags)
Which problem is this PR solving?
Short description of the changes