Skip to content

clarify repo_name (#136)#137

Merged
alexvoss merged 1 commit into
masterfrom
repo_name
Jun 22, 2026
Merged

clarify repo_name (#136)#137
alexvoss merged 1 commit into
masterfrom
repo_name

Conversation

@alexvoss

Copy link
Copy Markdown
Member

A suggested wording change to make clearer how repo_url and repo_name do and do not relate to each other.

Signed-off-by: alexvoss <alex@corealization.com>
@alexvoss alexvoss requested a review from squidfunk June 22, 2026 01:47
@alexvoss alexvoss merged commit a065a3c into master Jun 22, 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.

2 participants