Skip to content

fix(mantis): remove ambiguous GitHub trigger mention#83179

Merged
Takhoffman merged 1 commit into
mainfrom
codex/remove-ambiguous-mantis
May 17, 2026
Merged

fix(mantis): remove ambiguous GitHub trigger mention#83179
Takhoffman merged 1 commit into
mainfrom
codex/remove-ambiguous-mantis

Conversation

@Takhoffman

Copy link
Copy Markdown
Contributor

Summary

  • removes @Mantis/@mantis and /mantis as GitHub PR-comment triggers for Mantis workflows
  • requires the OpenClaw-owned @openclaw-mantis or /openclaw-mantis trigger spelling instead
  • updates maintainer-facing Mantis docs and examples to avoid mentioning the real GitHub account

Validation

  • rg -n "@mantis|@mantis" .github/workflows docs README.md (no matches)
  • git diff --check -- .github/workflows/mantis-discord-status-reactions.yml .github/workflows/mantis-discord-thread-attachment.yml .github/workflows/mantis-telegram-live.yml docs/concepts/mantis.md docs/help/testing.md docs/channels/discord.md
  • CI=true pnpm docs:list
  • CI=true pnpm check:workflows (passed after allowing actionlint dependency download)

@openclaw-barnacle openclaw-barnacle Bot added docs Improvements or additions to documentation channel: discord Channel integration: discord size: XS maintainer Maintainer-authored PR labels May 17, 2026
@clawsweeper

clawsweeper Bot commented May 17, 2026

Copy link
Copy Markdown
Contributor

ClawSweeper status: review started.

I am starting a fresh review of this pull request: fix(mantis): remove ambiguous GitHub trigger mention This is item 1/1 in the current shard. Shard 0/1.

This placeholder means the worker is alive and reading the current context. I will edit this same comment with the actual review when the claws are done clicking.

Crustacean status: shell secured, claws on keyboard, evidence pebbles being sorted.

@Takhoffman Takhoffman merged commit f349fb8 into main May 17, 2026
118 of 124 checks passed
@Takhoffman Takhoffman deleted the codex/remove-ambiguous-mantis branch May 17, 2026 16:24
galiniliev pushed a commit to galiniliev/openclaw that referenced this pull request May 20, 2026
SebTardif pushed a commit to SebTardif/openclaw that referenced this pull request May 24, 2026
SebTardif pushed a commit to SebTardif/openclaw that referenced this pull request May 24, 2026
SebTardif pushed a commit to SebTardif/openclaw that referenced this pull request May 24, 2026
github-actions Bot pushed a commit to Desicool/openclaw that referenced this pull request May 24, 2026
galiniliev pushed a commit to galiniliev/openclaw that referenced this pull request May 25, 2026
SebTardif pushed a commit to SebTardif/openclaw that referenced this pull request May 26, 2026
SebTardif pushed a commit to SebTardif/openclaw that referenced this pull request May 26, 2026
SebTardif pushed a commit to SebTardif/openclaw that referenced this pull request May 26, 2026
jameslcowan pushed a commit to jameslcowan/openclaw that referenced this pull request Jun 2, 2026
SYU8384 pushed a commit to SYU8384/openclaw that referenced this pull request Jun 3, 2026
sablehead pushed a commit to sablehead/openclaw that referenced this pull request Jun 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

channel: discord Channel integration: discord docs Improvements or additions to documentation maintainer Maintainer-authored PR size: XS

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant