Merge pull request #1693 from pmcelhaney/copilot/bug-hunt-2 #3
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Create Issues from Proposals | |
| on: | |
| push: | |
| branches: | |
| - main | |
| paths: | |
| - '.github/issue-proposals/*.md' | |
| jobs: | |
| create-issues: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| issues: write | |
| steps: | |
| - name: Check out repository | |
| uses: actions/checkout@v6 | |
| - name: Install Python dependencies | |
| run: pip install pyyaml | |
| - name: Process issue proposals | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| GITHUB_REPOSITORY: ${{ github.repository }} | |
| GITHUB_SHA: ${{ github.sha }} | |
| run: python3 .github/scripts/create_issues.py | |
| - name: Commit deleted proposal files | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "github-actions[bot]@users.noreply.github.com" | |
| git add .github/issue-proposals/ | |
| if git diff --cached --quiet; then | |
| echo "No proposal files were deleted — nothing to commit." | |
| else | |
| git commit -m "chore: remove processed issue proposals" | |
| git push | |
| fi |