Skip to content

Apply repository conventions#102

Merged
facility-bot[bot] merged 1 commit into
masterfrom
repo-conventions
Jun 30, 2026
Merged

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

Conversation

@facility-bot

@facility-bot facility-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

@facility-bot facility-bot Bot added the repo-conventions Pull requests generated by repo-conventions. label Jun 30, 2026
@facility-bot facility-bot Bot enabled auto-merge (squash) June 30, 2026 15:32
@facility-bot facility-bot Bot merged commit 07a2d9e into master Jun 30, 2026
6 checks passed
@facility-bot facility-bot Bot deleted the repo-conventions branch June 30, 2026 15:34
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.

0 participants