Skip to content

Clone over HTTPS, not SSH - #3

Merged
tactino merged 1 commit into
mainfrom
docs/https-clone
Sep 11, 2026
Merged

tactino merged 1 commit into
mainfrom
docs/https-clone

Conversation

@tactino

@tactino tactino commented Sep 11, 2026

Copy link
Copy Markdown
Member

Every clone instruction used git clone git@github.com:PlugRL/.... SSH
needs a key registered with GitHub - fine while these repositories were
private and only their authors cloned them, wrong now that they are public.
The first thing the documentation asked a new reader to do was something
they could not do.

Found by running the documented quickstart from scratch on a machine with
nothing of this project on it.

🤖 Generated with Claude Code

Every clone instruction said `git clone git@github.com:PlugRL/...`. SSH
needs a key registered with GitHub, which made sense while these
repositories were private and only their authors cloned them. They are
public now, and the first thing the documentation asks a new reader to do
was something they cannot do.

Found by running the documented quickstart from scratch on a machine with
nothing of this project on it.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@tactino
tactino merged commit 65d27a1 into main Sep 11, 2026
1 check 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