Skip to content

chore: update contribution docs about how to push tags properly#25

Merged
KLongmuirHD merged 3 commits into
mainfrom
chore/update_contributing_docs
Jun 10, 2026
Merged

chore: update contribution docs about how to push tags properly#25
KLongmuirHD merged 3 commits into
mainfrom
chore/update_contributing_docs

Conversation

@KLongmuirHD

Copy link
Copy Markdown
Collaborator

Update docs to mention that tags need to be pushed from the release-build branch, not main

@KLongmuirHD KLongmuirHD requested a review from rlmestre February 27, 2026 13:28
@KLongmuirHD KLongmuirHD enabled auto-merge (squash) February 27, 2026 13:34
@KLongmuirHD KLongmuirHD merged commit 149365b into main Jun 10, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants