Issue 080: Add property test for GitHub repository creation

[temma02]

Description
Implement a property test proving repository creation respects naming and metadata invariants.

Requirements and context

• Must be secure, tested, and documented where applicable
• Should stay reviewable and fit the current monorepo structure

Suggested execution

• Create branch: issue-080-add-property-test-for-github-repository-creation
• Keep changes scoped to the issue and reference the task IDs in the PR

Implement changes

• Generate repository names and user/account metadata across edge cases
• Run at least 100 iterations and annotate Property 17
• Assert accepted names are normalized and created consistently

Test and commit

• Run the most relevant tests for the touched service or UI surface
• Include screenshots or request/response examples when the change is user-facing
• Call out edge cases, assumptions, and any follow-up work

Example commit message
test: add github repository creation property

Guidelines

• Prefer small, reviewable PRs
• Keep naming and data contracts consistent with the spec docs
• Preserve responsive and accessible behavior for frontend work

[therealjhay]

@therealjhay has applied to work on this issue as part of the Stellar Wave Program's 3rd wave.

I'll implement the property tests for GitHub repository creation on branch issue-080-add-property-test-for-github-repository-creation. I'll configure 100+ iterations to validate naming/metadata invariants, annotate Property 17 explicitly, and assert normalization consistency. Tests will be scoped to the monorepo structure and include documentation on edge cases covered. Ready to start.

ℹ️ Repo Maintainers: To accept this application, review their application or assign @therealjhay to this issue.

[aabxtract]

@aabxtract has applied to work on this issue as part of the Stellar Wave Program's 3rd wave.

i want to work on this, I will promptly execute and then
I’ll create the branch and implement the property test with 100+ iterations, covering edge cases for repository names and metadata. I’ll ensure names are normalized, consistent, and aligned with the invariants, and properly annotate Property 17.

ℹ️ Repo Maintainers: To accept this application, review their application or assign @aabxtract to this issue.