Closed takluyver closed 5 months ago
I need to make the version number change in a PR, but I'd like the tag to point to the merge commit when I merge the PR, so I'll make it manually.
I need to make the version number change in a PR, but I'd like the tag to point to the merge commit when I merge the PR, so I'll make it manually.