Skip to content

Commit 5c674cb

Browse files
theletterfclaude
andauthored
Rename docs-check to docs-issue-scope, add needs-team label removal to triage (#79)
- Rename gh-aw-docs-check to gh-aw-docs-issue-scope (files, concurrency group, slash command references) - Add remove-labels safe output to issue-triage for the needs-team label - Add rule 9 to triage prompt: remove needs-team label after applying a team label Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 79e164a commit 5c674cb

4 files changed

Lines changed: 70 additions & 44 deletions

File tree

.github/workflows/gh-aw-docs-check.lock.yml renamed to .github/workflows/gh-aw-docs-issue-scope.lock.yml

Lines changed: 23 additions & 23 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

.github/workflows/gh-aw-docs-check.md renamed to .github/workflows/gh-aw-docs-issue-scope.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ on:
3636
COPILOT_GITHUB_TOKEN:
3737
required: true
3838
concurrency:
39-
group: docs-check
39+
group: docs-issue-scope
4040
cancel-in-progress: true
4141
permissions:
4242
contents: read
@@ -87,14 +87,14 @@ You are a documentation impact analyst for Elastic products. Your job is to dete
8787

8888
This workflow is triggered in one of three ways:
8989

90-
1. **Slash command**: A user comments `/docs-check` on an issue or PR. The text after `/docs-check` may include a public PR or commit URL, and optionally additional context or a specific request (e.g. "please focus on the new API endpoints"). Extract the URL (if present) from the comment body. If no URL is provided in the comment, look for one in the issue or PR body/title.
91-
2. **Label**: A user adds the `docs-check` label to an issue. Extract the PR or commit URL from the issue body or title.
90+
1. **Slash command**: A user comments `/docs-issue-scope` on an issue or PR. The text after `/docs-issue-scope` may include a public PR or commit URL, and optionally additional context or a specific request (e.g. "please focus on the new API endpoints"). Extract the URL (if present) from the comment body. If no URL is provided in the comment, look for one in the issue or PR body/title.
91+
2. **Label**: A user adds the `docs-issue-scope` label to an issue. Extract the PR or commit URL from the issue body or title.
9292
3. **Manual dispatch**: The URL is provided via the `url` workflow input at `${{ github.event.inputs.url }}`.
9393

9494
If no URL can be found from any of these sources, post a comment explaining usage:
95-
> Usage: `/docs-check <PR-or-commit-URL> [optional context]`
96-
> Example: `/docs-check https://github.com/elastic/elasticsearch/pull/12345`
97-
> Example with context: `/docs-check https://github.com/elastic/elasticsearch/pull/12345 focus on the new ingest pipeline options`
95+
> Usage: `/docs-issue-scope <PR-or-commit-URL> [optional context]`
96+
> Example: `/docs-issue-scope https://github.com/elastic/elasticsearch/pull/12345`
97+
> Example with context: `/docs-issue-scope https://github.com/elastic/elasticsearch/pull/12345 focus on the new ingest pipeline options`
9898
9999
## Step 1: Fetch the changes
100100

0 commit comments

Comments
 (0)