Skip to content

Add infra repo#19

Merged
proto08 merged 1 commit into
mainfrom
feat-add-infra-repo
Jul 15, 2026
Merged

Add infra repo#19
proto08 merged 1 commit into
mainfrom
feat-add-infra-repo

Conversation

@tsuji-riya

Copy link
Copy Markdown
Member

No description provided.

Co-authored-by: proto08 <194586153+proto08@users.noreply.github.com>
@tsuji-riya tsuji-riya self-assigned this Jul 14, 2026
@tsuji-riya tsuji-riya requested a review from proto08 July 14, 2026 12:36

@proto08 proto08 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@proto08 proto08 merged commit 76549fa into main Jul 15, 2026
1 check passed
@proto08 proto08 deleted the feat-add-infra-repo branch July 15, 2026 09:41
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.

2 participants