Skip to content

Apply repository conventions - #115

Merged
facility-bot[bot] merged 1 commit into
masterfrom
repo-conventions
Aug 10, 2026
Merged

Apply repository conventions#115
facility-bot[bot] merged 1 commit into
masterfrom
repo-conventions

Conversation

@facility-bot

Copy link
Copy Markdown
Contributor

@facility-botfacility-botBot added the repo-conventions Pull requests generated by repo-conventions. label Aug 10, 2026
@facility-bot
facility-botBot enabled auto-merge (squash) August 10, 2026 14:21
@facility-bot
facility-botBot merged commit 8ce3bc2 into masterAug 10, 2026
6 checks passed
@facility-bot
facility-botBot deleted the repo-conventions branch August 10, 2026 14:24
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

repo-conventionsPull requests generated by repo-conventions.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants