31ca35ef750be3fbefa049a3052fbed271aadcdd

Message

Add java CI instructions to AGENTS.md

Diff

This diff is truncated to protect this page.

 1diff --git a/dot_config/opencode/AGENTS.md b/dot_config/opencode/AGENTS.md
 2index 5b828d4e13c842e78ff94dc522874ecf3dee092e..1c1da85657a717707ada4e4cbe62dae5e6609cca 100644
 3--- a/dot_config/opencode/AGENTS.md
 4+++ b/dot_config/opencode/AGENTS.md
 5@@ -86,6 +86,10 @@ When work spans a consumer repo and a shared Go module (e.g. core consuming `git
 6 - Make and commit the changes in the dependency repo first on a branch, then push.
 7 - Use `go get github.com/duneanalytics/go/v2@<branch-name>` in the consumer repo to pin against the unmerged branch — this rewrites go.mod/go.sum cleanly and lets `make lint` / `go mod tidy` succeed.
 8 
 9+## Java development
10+