Skip to content

[TASK] Update GitHub Copilot instructions for current repository workflow (#36) - #37

Merged
seokheehan merged 2 commits into
mainfrom
docs/36-update-copilot-instructions
Sep 3, 2026
Merged

seokheehan merged 2 commits into
mainfrom
docs/36-update-copilot-instructions

Conversation

@seokheehan

Copy link
Copy Markdown
Contributor

PR Description

Update .github/copilot-instructions.md so it remains focused on GitHub Copilot-assisted development in the current eclipse-timpani/timpani26 repository.

The update removes outdated branch and GitLab workflow assumptions, keeps the current main and GitHub Pull Request workflow, and directs Copilot to the repository documents that own detailed architecture, design, and contribution information.

The stable engineering constraints for protobuf interfaces, real-time critical paths, deterministic scheduling behavior, public APIs, resource handling, and focused validation are preserved.

Related Issue

Closes #36

Test Method

  • Reviewed the updated instructions against the current repository structure.
  • Confirmed that obsolete references to origin/timpani26, origin/dev/design-docs, development_0.5, GitLab, and MR are removed.
  • Confirmed that the instructions reference main and the GitHub Pull Request workflow.
  • Ran git diff --check successfully.
  • Confirmed that VS Code reports no errors for the updated Markdown file.

Checklist

  • Code conventions are followed
  • Tests are added or modified, or are not applicable to this documentation-only change
  • Documentation is updated as required

@chanjeong-lge chanjeong-lge 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.

Looks good to me

Comment thread .github/copilot-instructions.md Outdated
Comment thread .github/copilot-instructions.md
Comment thread .github/copilot-instructions.md
Comment thread .github/copilot-instructions.md
Comment thread .github/copilot-instructions.md

@basheerFZ basheerFZ 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.

I have added my review comments , pls check the same

@daeyoung-jeong-lge daeyoung-jeong-lge left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

looks OK

@seokheehan
seokheehan merged commit 9ad9412 into main Sep 3, 2026
11 checks passed
@seokheehan
seokheehan deleted the docs/36-update-copilot-instructions branch September 4, 2026 06:59
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.

[TASK] Update GitHub Copilot instructions for current repository workflow

5 participants