Skip to content

Use URLs to detect git-like repos rather than name#748

Merged
karawoo merged 9 commits intomainfrom
github_name_as_repo_source
Oct 28, 2025
Merged

Use URLs to detect git-like repos rather than name#748
karawoo merged 9 commits intomainfrom
github_name_as_repo_source

Commits

Commits on Oct 24, 2025

Commits on Oct 28, 2025

Comments