Skip to content

use VALE_TOKEN as github_token in doc-followup #711

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jth-nw merged 3 commits into from
Apr 1, 2026
Merged

use VALE_TOKEN as github_token in doc-followup #711

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
894e389
fix: use VALE_TOKEN as github_token in doc-followup so pushes trigger…
jth-nw Apr 1, 2026
772a838
Merge pull request #710 from netwrix/fix/doc-followup-vale-token
jth-nw Apr 1, 2026
13bad66
Merge branch 'main' into dev
jth-nw Apr 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 1 addition & 26 deletions .github/workflows/claude-doc-pr.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -178,33 +178,8 @@ jobs:
COMMENT_BODY: ${{ github.event.comment.body }}
with:
anthropic_api_key: ${{ secrets.ANTHROPIC_API_KEY }}
github_token: ${{ secrets.GITHUB_TOKEN }}
github_token: ${{ secrets.VALE_TOKEN }}
show_full_output: true
prompt: |
/doc-pr-fix ${{ steps.pr-info.outputs.number }} $COMMENT_BODY
claude_args: '--max-turns 50 --allowedTools "Bash(gh:*),Bash(git:*),Read,Write,Edit,Glob,Grep,Skill(doc-pr-fix),Skill(doc-help)"'

- name: Trigger workflows via VALE_TOKEN push
if: steps.pr-info.outputs.is_fork == 'false' && steps.pr-info.outputs.targets_dev == 'true'
env:
VALE_TOKEN: ${{ secrets.VALE_TOKEN }}
run: |
# claude-code-action already pushed with GITHUB_TOKEN, which doesn't
# trigger workflows. If Claude made commits, push an empty commit
# with VALE_TOKEN to produce a new SHA that triggers build-and-deploy.
BRANCH="${{ steps.pr-info.outputs.branch }}"
git remote set-url origin "https://x-access-token:${VALE_TOKEN}@github.com/${{ github.repository }}.git"
git fetch origin "$BRANCH"
git reset --hard "origin/$BRANCH"

# Check if Claude actually pushed new commits
LATEST_AUTHOR=$(git log -1 --format='%an')
if [ "$LATEST_AUTHOR" = "claude[bot]" ]; then
echo "Claude pushed editorial fixes — triggering build..."
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
git commit --allow-empty -m "ci: trigger build after editorial fixes"
git push origin "HEAD:$BRANCH"
else
echo "No Claude commits found — skipping"
fi
Loading