Skip to content

push empty commit with VALE_TOKEN after doc-followup #706

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

push empty commit with VALE_TOKEN after doc-followup #706

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
651c36c
fix: push empty commit with VALE_TOKEN after doc-followup editorial f…
jth-nw Apr 1, 2026
09276e7
Merge pull request #705 from netwrix/fix/doc-followup-trigger-build
jth-nw Apr 1, 2026
66dc4cf
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
24 changes: 17 additions & 7 deletions .github/workflows/claude-doc-pr.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -168,17 +168,27 @@ jobs:
/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: Push with VALE_TOKEN to trigger workflows
- 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: |
# Re-configure git credentials with VALE_TOKEN (claude-code-action
# overrides credentials with GITHUB_TOKEN, which doesn't trigger workflows)
# 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"
if [ "$(git rev-list @{u}..HEAD --count 2>/dev/null)" -gt 0 ]; then
echo "Pushing $(git rev-list @{u}..HEAD --count) commit(s) with VALE_TOKEN..."
git push
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 new commits to push"
echo "No Claude commits found — skipping"
fi
Loading