Skip to content

The organisation profile names every public repository: go-graphviz, godolint, openssh, website-godolint and infra join it - #70

Merged
closer-claudio merged 1 commit into
mainfrom
claudio/20261011-profile
Oct 11, 2026
Merged

closer-claudio merged 1 commit into
mainfrom
claudio/20261011-profile

Conversation

@closer-claudio

Copy link
Copy Markdown
Contributor

🎯 Why. The profile listed six of the organisation's eleven public repositories. godolint and go-graphviz have been here since their transfers, openssh since this week; website-godolint and infra are the organisation's own sites and provisioning. @apostasie's ask, relayed by the Mycophonic maintainer during the three-org .github consistency check.

🛠️ What. profile/README.md: go-graphviz among the forks, godolint among the rewrites, openssh among the packagings, and a new "Sites and infrastructure" section for website-godolint and infra. Each entry says what the repository is for a reader who does not know it, written from the repository's README and description.

🧪 How. V: reviewed locally by The Reviewer at 09b3af8: the eleven links are exactly the organisation's public repositories by the API, and each entry checked against its README. V: just lint 15/15, the links lane included.

The profile listed six of the eleven public repositories. godolint and
go-graphviz, both here since the transfers, and openssh, this week's,
join their sections: go-graphviz among the forks, godolint among the
rewrites, openssh among the packagings. website-godolint and infra are
neither fork, rewrite nor packaging; they get a section of their own,
what serves and what provisions. Each entry says what the repository is
for a reader who does not know it, in the voice of the ones around it.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Signed-off-by: closer-claudio <claudio@farcloser.world>
@closer-claudio
closer-claudio merged commit 75fcf45 into main Oct 11, 2026
7 checks passed
@closer-claudio
closer-claudio deleted the claudio/20261011-profile branch October 11, 2026 18:26
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.

2 participants