Skip to content

docs: document issue → branch → PR workflow in AGENTS.md - #37

Open
abienkowski wants to merge 1 commit into
mainfrom
docs/contribution-workflow
Open

abienkowski wants to merge 1 commit into
mainfrom
docs/contribution-workflow

Conversation

@abienkowski

Copy link
Copy Markdown
Collaborator

Description

Adds a "Contribution Workflow" section to AGENTS.md describing the issue → branch → PR process the repo already expects in practice but never wrote down in the agent-facing guide.

AGENTS.md documented structure, commands, architecture, conventions and test layout, but nothing about how a change lands. That gap produced real mistakes: work started on an already-merged branch rather than a fresh branch off main, changes made with no issue recording the rejected alternatives, and PRs opened without a closing keyword.

CONTRIBUTING.md stays as the human-facing summary and is deliberately not duplicated — it is thin on exactly the points agents get wrong (branch base, issues, Conventional Commits, label taxonomy), and two full copies would drift.

The section covers six steps, each with its gh invocation, including gh pr view --json closingIssuesReferences to confirm the issue link actually landed.

Closes #36

Split out of #35 at review request, so the workflow documentation lands independently of the Unix-socket-only change that exposed the gap.

Type of change

  • Bug fix
  • New feature
  • Breaking change
  • Documentation update

Implementation(s) changed

  • Go
  • Rust
  • TypeScript
  • Quint specification
  • CI / infrastructure

Documentation only — one file, AGENTS.md. No implementation code touched.

Testing

  • Unit tests pass (make test-all)
  • Integration tests pass (make test-integration)
  • Quint verification passes (make verify)
  • New tests added for the change

Not applicable and not run: this change touches no build input, no source file and no CI configuration. Ticking these boxes would misrepresent what was verified.

Checklist

  • I have read CONTRIBUTING.md
  • My code follows the project's coding style
  • I have updated documentation as needed

AGENTS.md described structure, commands and conventions but not how a
change is meant to land, so agents had no way to know the repo expects
issue → branch → PR. In practice that led to work starting on an
already-merged branch, changes with no issue recording the rejected
alternatives, and PRs opened without a closing keyword.

CONTRIBUTING.md covers some of this for humans but omits the points that
are actually got wrong: the branch base, issues, Conventional Commits and
the label taxonomy.

Documents the six steps with the corresponding gh invocations, including
the check that confirms the issue link landed on the PR.
@abienkowski abienkowski added the Type: Documentation Added to issues or PRs that relate to the project wiki, or documentation. label Sep 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Documentation Added to issues or PRs that relate to the project wiki, or documentation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Document the issue → branch → PR contribution workflow in AGENTS.md

1 participant