Skip to content

Initial repo setup - #1

Merged
SeanTAllen merged 1 commit into
mainfrom
initial-setup
Oct 3, 2026
Merged

SeanTAllen merged 1 commit into
mainfrom
initial-setup

Conversation

@SeanTAllen

Copy link
Copy Markdown
Member

Static HTML report hosting for Pony development. Reports live at r/{slug}/index.html, with a categorized index at r/index.html. Deploys to GitHub Pages on every push to main.

Includes LICENSE, README, AGENTS.md (agent instructions), the index page, a root redirect, and the deploy workflow.

@SeanTAllen
SeanTAllen force-pushed the initial-setup branch 2 times, most recently from de26b31 to 850d6b5 Compare October 3, 2026 19:18
Static HTML report hosting for Pony development. Reports live at
r/{slug}/index.html with a categorized index at r/index.html.
Deploys to GitHub Pages on every push to main.

Includes agent instructions (AGENTS.md) covering slug naming,
multi-category support, and commit discipline.
@SeanTAllen
SeanTAllen merged commit a078503 into main Oct 3, 2026
1 check passed
@SeanTAllen
SeanTAllen deleted the initial-setup branch October 3, 2026 19:20
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