fix(dotagents): pin merged skills lock commit

Merged
SH
3mo ago
+1-1

Summary

Replace the orphaned dotagents PR-head gitlink with the identical commit merged to dotagents main.

Validation

  • old and new dotagents commits have identical trees
  • Kyber base commit 0ef0e70 is an ancestor of bfc6007
  • git diff --check

Refs shunkakinokisoftware-hnnt


Summary by cubic

Pinned the dotagents submodule to the commit merged on its main branch, replacing the orphaned PR-head gitlink. This removes the orphan ref and makes builds deterministic.