<!-- AUTO-GENERATED FILE - DO NOT EDIT DIRECTLY -->
<!-- Edit source frontmatter, then run 'erk docs sync' to regenerate. -->

# Integrations Documentation

- **[issue-pr-closing-integration.md](issue-pr-closing-integration.md)** — linking PRs to issues for auto-close, understanding GitHub's auto-close keywords, debugging why issues didn't close when PR merged
- **[linear-erk-mapping.md](linear-erk-mapping.md)** — Evaluating Linear as issue tracker for erk, Building Linear gateway, Understanding trade-offs between GitHub Issues and Linear
- **[linear-primitives.md](linear-primitives.md)** — Considering Linear as an alternative to GitHub Issues, Building a Linear gateway for erk, Understanding how other tools (Cursor, Devin) integrate with Linear
- **[multi-agent-portability.md](multi-agent-portability.md)** — supporting agents other than Claude Code, making erk work with OpenCode, Codex, or Copilot, designing agent-agnostic session tracking, evaluating spec-driven development tools
