Skip to content

chore: ignore Copilot dogfooding scaffolding in .gitignore#3019

Merged
mnriem merged 2 commits into
github:mainfrom
mnriem:chore/gitignore-entries
Jun 17, 2026
Merged

chore: ignore Copilot dogfooding scaffolding in .gitignore#3019
mnriem merged 2 commits into
github:mainfrom
mnriem:chore/gitignore-entries

Conversation

@mnriem

@mnriem mnriem commented Jun 17, 2026

Copy link
Copy Markdown
Collaborator

Summary

Adds .gitignore entries for the scaffolding generated by specify init --integration copilot, so the dogfooding artifacts used during Spec Kit feature development aren't accidentally committed.

Ignored paths:

  • .github/agents/
  • .github/prompts/
  • .github/copilot-instructions.md
  • .specify/
  • specs/

Notes

Posted on behalf of @mnriem by GitHub Copilot.

Ignore the directories and files generated by
`specify init --integration copilot` so the dogfooding scaffolding used
during Spec Kit feature development isn't accidentally committed.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot AI review requested due to automatic review settings June 17, 2026 13:55

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.

Remove trailing whitespace and extra comment-only lines in the Copilot dogfooding ignore block.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@mnriem mnriem requested a review from Copilot June 17, 2026 14:10

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.

@mnriem mnriem requested a review from Copilot June 17, 2026 14:44

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.

@mnriem mnriem merged commit 9dfa53d into github:main Jun 17, 2026
11 checks passed
@mnriem mnriem deleted the chore/gitignore-entries branch June 17, 2026 15:27
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