Skip to content

chore: consistent campaign naming#6220

Merged
mnkiefer merged 2 commits intomainfrom
campaign-fixes
Dec 12, 2025
Merged

chore: consistent campaign naming#6220
mnkiefer merged 2 commits intomainfrom
campaign-fixes

Conversation

@mnkiefer
Copy link
Copy Markdown
Collaborator

  • Campaign names as Campaign: <Name>

@mnkiefer mnkiefer self-assigned this Dec 12, 2025
@mnkiefer
Copy link
Copy Markdown
Collaborator Author

@copilot Analyse broken checks and suggest fixes.

Copy link
Copy Markdown
Contributor

Copilot AI commented Dec 12, 2025

@mnkiefer I've opened a new pull request, #6221, to work on those changes. Once the pull request is ready, I'll request review from you.

@mnkiefer mnkiefer merged commit 6f53345 into main Dec 12, 2025
23 checks passed
@mnkiefer mnkiefer deleted the campaign-fixes branch December 12, 2025 07:35
github-actions bot added a commit that referenced this pull request Dec 12, 2025
- Added Campaign definition to Advanced Features section
- Positioned alphabetically between Cache Memory and Command Triggers
- Includes key characteristics, file naming convention, and link to guide
- Identified from PR #6220 campaign naming standardization
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