Skip to content

Add GitHub Action to run doctools.py on pull requests and commit data changes#1070

Draft
Copilot wants to merge 2 commits intomainfrom
copilot/add-github-action-doctools
Draft

Add GitHub Action to run doctools.py on pull requests and commit data changes#1070
Copilot wants to merge 2 commits intomainfrom
copilot/add-github-action-doctools

Conversation

Copy link
Contributor

Copilot AI commented Feb 27, 2026

Independent contributors rely on local git hooks to run src/ssvc/doctools.py when src/ssvc/* changes. This adds a CI enforcement step so PRs always regenerate and commit updated data/ files before merging.

Changes

  • .github/workflows/run_doctools.yml — new workflow that:
    • Triggers on PRs touching src/ssvc/**
    • Installs deps via uv, clears stale data/json/decision_points/, then runs python -m ssvc.doctools --overwrite --datadir ./data
    • Auto-commits any resulting data/ changes back to the PR branch with [skip ci] to prevent recursion; no-ops if nothing changed
Original prompt

This section details on the original issue you should resolve

<issue_title>Create GitHub action to run doctools.py on pull requests</issue_title>
<issue_description>Independent contributors have local git hooks to run src/ssvc/doctools.py if code is changed in src/ssvc/*.

We want a GitHub action to run doctools.py on pull requests before merging, and then commit changes made in data/</issue_description>

Comments on the Issue (you are @copilot in this section)


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Co-authored-by: sei-renae <190382933+sei-renae@users.noreply.github.com>
Copilot AI changed the title [WIP] Add GitHub action to run doctools.py on pull requests Add GitHub Action to run doctools.py on pull requests and commit data changes Feb 27, 2026
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.

Create GitHub action to run doctools.py on pull requests

2 participants