Skip to content

Release v0.3.10#73

Merged
sebastientaggart merged 3 commits into
mainfrom
dev
Apr 8, 2026
Merged

Release v0.3.10#73
sebastientaggart merged 3 commits into
mainfrom
dev

Conversation

@sebastientaggart

Copy link
Copy Markdown
Member

Release v0.3.10

PRs included:

Closes #71

Sebastien Taggart and others added 3 commits April 8, 2026 12:50
…on-wording

Rephrase start skill to avoid tautology after TICKET_LABEL_CREATION_ALLOWED substitution
@sebastientaggart
sebastientaggart merged commit 7f7147a into main Apr 8, 2026
2 checks passed
@sebastientaggart
sebastientaggart deleted the dev branch April 8, 2026 17:06
@sebastientaggart
sebastientaggart restored the dev branch April 8, 2026 17:08
@sebastientaggart
sebastientaggart deleted the dev branch April 8, 2026 17:12
@sebastientaggart
sebastientaggart restored the dev branch April 8, 2026 17:13
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.

Fix awkward tautological phrasing in start skill after TICKET_LABEL_CREATION_ALLOWED substitution

1 participant