support disable push tags #247

Activity

1. himself65

   changed the title [-]disable push tags[/-] [+]support disable push tags[/+] on Dec 29, 2022
2. bluwy commented on May 15, 2026

   

   bluwy

   on May 15, 2026

   Member

   More actions

   I believe it can be disabled with createGithubReleases: false since a github release is also tied to a git tag. We can update the docs to also mention about tags though.
3. bluwy

   added the

   Task

   issue type on May 15, 2026
4. bluwy

   added

   documentationImprovements or additions to documentationImprovements or additions to documentation

   on May 15, 2026
5. Andarist

   closed this as completedin #680on Jul 1, 2026