Skip to content

Apply repository conventions - #5

Merged
ejball merged 1 commit into
masterfrom
repo-conventions
Aug 15, 2026
Merged

Apply repository conventions#5
ejball merged 1 commit into
masterfrom
repo-conventions

Conversation

@ejball-bot

@ejball-bot ejball-bot Bot commented Aug 15, 2026

Copy link
Copy Markdown
Contributor

@ejball-bot ejball-bot Bot added the repo-conventions Pull requests generated by repo-conventions. label Aug 15, 2026
@ejball-bot
ejball-bot Bot requested a review from ejball August 15, 2026 23:30
@ejball
ejball merged commit ced0204 into master Aug 15, 2026
7 checks passed
@ejball
ejball deleted the repo-conventions branch August 15, 2026 23:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

repo-conventions Pull requests generated by repo-conventions.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant