Skip to content

[codex] Add PointerIDE repository index#27

Merged
Samuel-Mencke merged 1 commit into
mainfrom
codex/add-pointeride-repo-index
May 7, 2026
Merged

[codex] Add PointerIDE repository index#27
Samuel-Mencke merged 1 commit into
mainfrom
codex/add-pointeride-repo-index

Conversation

@Samuel-Mencke
Copy link
Copy Markdown
Collaborator

Summary

  • Adds a PointerIDE repositories index to the README.
  • Links the top README navigation to the new section.
  • Replaces the README nav separators with ASCII-safe pipes.

Validation

  • Checked that the listed PointerIDE GitHub repositories are reachable.
  • Documentation-only change, so no build or TypeScript checks were run.

@Samuel-Mencke Samuel-Mencke marked this pull request as ready for review May 7, 2026 13:05
@Samuel-Mencke Samuel-Mencke merged commit 8cc5f65 into main May 7, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant