(The background and motivation for this change is in #445, but I've decided not to implement that proposal fully right now, and instead make a smaller step first.)
This PR introduces a tagOnly option for github target. If set to true, then we don't create a full GitHub release, and instead only create a tag in the remote repository. The default is false.
(The background and motivation for this change is in #445, but I've decided not to implement that proposal fully right now, and instead make a smaller step first.)
This PR introduces a
tagOnlyoption forgithubtarget. If set totrue, then we don't create a full GitHub release, and instead only create a tag in the remote repository. The default isfalse.