関連ワード:  pull request types github actions    pull request types    pull_request types closed    pull_request types opened synchronize reopened    pull request types github    pull_request types synchronize    pull_request types labeled    pull_request types opened synchronize    pull_request types opened    pull_request types opened reopened