Skip to content

github-profile submodule has no consumer #50

Description

@maehr

Found while reviewing #4.

textrefs/.github was added as a submodule at github-profile/ (commit 70ddf74). Nothing reads it:

  • git grep github-profile -- ":!package-lock.json" matches only .gitmodules and CHANGELOG.md.
  • It is not mentioned in the "Project layout" section of CONTRIBUTING.md, nor in AGENTS.md.
  • No build step, script, or workflow references the path. It sits outside src/ and public/, so Astro never sees it.

Meanwhile all four workflows check out with submodules: recursive, so every CI run now clones it. That makes an unused repo a hard dependency of data, linkcheck, pages, and release — if textrefs/.github is ever renamed or made private, all four break for a directory nothing consumes.

Either:

  • document what it is for (editing the org profile README from this checkout?) in CONTRIBUTING.md § Project layout and AGENTS.md, or
  • drop the submodule and edit textrefs/.github directly.

Second option unless there is a workflow that genuinely benefits from having both trees in one checkout.

Activity

  1. maehr commented on Sep 2, 2026

    @maehr
    MemberAuthor

    Fixed by #75: the unused github-profile submodule was removed from the release tree in PR #4.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    addressed-in-v0.1.0Addressed in the v0.1.0 release (PR #4)questionFurther information is requested

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions