Skip to content

📝 Use full project names in agent instructions - #477

Merged
simon1hofmann merged 3 commits into
mainfrom
codex/use-full-project-name
Oct 22, 2026
Merged

simon1hofmann merged 3 commits into
mainfrom
codex/use-full-project-name

Conversation

@simon1hofmann

@simon1hofmann simon1hofmann commented Oct 22, 2026 •

Copy link
Copy Markdown
Contributor

🤖 AI text below 🤖

Description

Add the full project name, MQT {{name}}, to the generated agent instructions. The rule applies to documentation, code comments, and public text. This keeps names such as MQT Bench consistent across contributions.

Requested in the MQT Bench #1095 review. The source template supplies the rule to projects that synchronize AGENTS.md.

Validation: all five existing rendering tests and all pre-commit checks passed. Codex assisted with the change, validation, and this description.

Checklist

  • The pull request only contains commits that are focused and relevant to this change.
  • I have added appropriate tests that cover the new/changed functionality.
  • I have updated the documentation to reflect these changes.
  • I have added entries to the changelog for any noteworthy additions, changes, fixes, or removals.
  • I have added migration instructions to the upgrade guide (if needed).
  • The changes follow the project's style guidelines and introduce no new warnings.
  • The changes are fully tested and pass the CI checks.
  • I have reviewed my own code changes.

If PR contains AI-assisted content:

  • Any agent that created, edited, or submitted GitHub content was explicitly authorized for that scope, as required by our AI Usage Guidelines.
  • Every agent-authored or agent-edited public text body begins with the visible disclosure 🤖 *AI text below* 🤖 (titles are exempt).
  • I have disclosed AI assistance in the PR description.
  • I confirm that I have personally reviewed and understood all AI-generated content, and accept full responsibility for it.

@denialhaag denialhaag left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

:shipit:

@simon1hofmann
simon1hofmann enabled auto-merge (squash) October 22, 2026 08:24

@burgholzer burgholzer left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM 👍🏼

@simon1hofmann
simon1hofmann merged commit 78e1f33 into main Oct 22, 2026
9 checks passed
@simon1hofmann
simon1hofmann deleted the codex/use-full-project-name branch October 22, 2026 09:27
@denialhaag denialhaag added enhancement Enhancement to existing feature or request and removed documentation Improvements or additions to documentation labels Oct 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement Enhancement to existing feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants