Skip to content

[WIP] Update tidy.md to ignore .github/workflows files#1887

Merged
pelikhan merged 3 commits intomainfrom
copilot/update-tidy-ignore-workflows
Oct 17, 2025
Merged

[WIP] Update tidy.md to ignore .github/workflows files#1887
pelikhan merged 3 commits intomainfrom
copilot/update-tidy-ignore-workflows

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Oct 17, 2025

  • Explore repository structure and locate tidy.md workflow
  • Understand how git patches are generated (git format-patch from branches)
  • Understand the push-to-pull-request-branch safe output mechanism
  • Update tidy.md instructions to exclude .github/workflows/ files
    • Added new step 7 to run git restore .github/workflows/ before creating PRs
    • Updated bash tools to include git restore:* and git status
    • Added clear guidance in Important Guidelines section
    • Renumbered step 7 to step 8 (Create or Update Pull Request)
  • Compile workflow to verify changes work correctly
  • Run tests (unit tests, fmt, lint) - all pass
  • Final validation with make agent-finish
Original prompt

Update tidy.md to NOT commit any file under .githun/workflows. Ignore changes in those files, only tidy the rest.


💡 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.

Copilot AI and others added 2 commits October 17, 2025 20:54
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
@pelikhan pelikhan marked this pull request as ready for review October 17, 2025 21:00
@pelikhan pelikhan merged commit cf104b9 into main Oct 17, 2025
5 checks passed
@pelikhan pelikhan deleted the copilot/update-tidy-ignore-workflows branch October 17, 2025 21:00
@github-actions
Copy link
Copy Markdown
Contributor

Agentic Changeset Generator triggered by this pull request.

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.

2 participants