Skip to content

chore: Add Github Copilot instructions#116

Open
ralf0131 wants to merge 1 commit intomainfrom
feat/add-copilot-instructions
Open

chore: Add Github Copilot instructions#116
ralf0131 wants to merge 1 commit intomainfrom
feat/add-copilot-instructions

Conversation

@ralf0131
Copy link
Collaborator

@ralf0131 ralf0131 commented Feb 5, 2026

Description

Add Github copilot instructions.

Type of change

Please delete options that are not relevant.

  • This change requires a documentation update

Does This PR Require a Core Repo Change?

  • Yes. - Link to PR:
  • No.

Change-Id: I4eb3feb511a0ef3b149b0e11c143f92359e0dcbc
Co-developed-by: Cursor <noreply@cursor.com>
@ralf0131 ralf0131 added the Skip Changelog PRs that do not require a CHANGELOG.md entry label Feb 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Skip Changelog PRs that do not require a CHANGELOG.md entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant