Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .machine_readable/root-allow.txt
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@ abi.ipkg # Idris2 package for the ABI seam; sourcedir=src/inte
.gitignore
.tool-versions
CLAUDE.md # AI session instructions, generated by the arrival-pack from .machine_readable/ a2ml and read by agents at repo root (do not hand-edit; edit the a2ml source)
GEMINI.md # Root-level pointer to CLAUDE.md for Gemini agents; avoids duplicating agent instructions.
.hypatia-ignore # repo-scoped Hypatia scanner exemptions; the scanner reads it from the repo root
sonar-project.properties # SonarCloud analysis config; the SonarQube scan action reads it from the repo root

Expand Down
8 changes: 8 additions & 0 deletions GEMINI.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
# Pointer
Comment thread
github-advanced-security[bot] marked this conversation as resolved.
Fixed
Comment thread
coderabbitai[bot] marked this conversation as resolved.

This repository has no `AGENTS.md` yet. Until it does, the instructions
for every coding agent live in **[CLAUDE.md](./CLAUDE.md)**. Read that
file, and skip anything in it that is specific to Claude Code tooling.
Do not duplicate rules here.

When `AGENTS.md` lands in this repository, retarget this pointer at it.
Loading