Pull request merge github action July 8, 2019 16 32 64 128 Github action trigger pull request merge Github send pull request
