Skip to content

CI pr-format: GitHub Appのトークンを使う#4656

Merged
massongit merged 10 commits intodevelopfrom
massongit-patch-1
Jan 20, 2025
Merged

CI pr-format: GitHub Appのトークンを使う#4656
massongit merged 10 commits intodevelopfrom
massongit-patch-1

Conversation

@massongit
Copy link
Member

#4655 のように、developからsudden-deathのコミットハッシュを更新するPRが出されてもCIが動かないので、GitHub Appのトークンを使ってPRを作るようにします。

formatが間違ってたので直してあげたよ! #4656
@massongit massongit merged commit 624b477 into develop Jan 20, 2025
44 checks passed
@massongit massongit deleted the massongit-patch-1 branch January 20, 2025 02:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants