Skip to content

Add AGENTS.md#199

Merged
iskandr merged 1 commit into
masterfrom
add-agents-md
Apr 18, 2026
Merged

Add AGENTS.md#199
iskandr merged 1 commit into
masterfrom
add-agents-md

Conversation

@iskandr
Copy link
Copy Markdown
Contributor

@iskandr iskandr commented Apr 18, 2026

Summary

  • Adds AGENTS.md codifying the cross-repo workflow
  • Patch bump to 3.13.2 per the rule in AGENTS.md itself

Rules codified

  • Feature branch before edits; never commit to main
  • Every PR bumps the version (even docs)
  • "Done" means merged AND deployed to PyPI — never just merge
  • File problems as GitHub issues (even on sibling openvax/pirl-unc repos)
  • After shipping, triage open issues; prefer foundational work

Test plan

  • ./lint.sh passes (no code changed)
  • ./test.sh passes (no code changed)

Adds AGENTS.md so coding agents don't need to be re-told the repo
workflow every session.
@iskandr iskandr merged commit 98b032f into master Apr 18, 2026
4 checks passed
@iskandr iskandr deleted the add-agents-md branch April 18, 2026 21:35
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.

1 participant