CI改善になるかもしれないアイディア箱

[tsuyoshicho]

とりあえず

https://github.com/Songmu/action-push-to-another-repository
+
actions/create-github-app-token@v1
というのはよさげだが、ここにうまくマッチするかどうか