関連ワード:  github commit changes to pull request    github push changes to pull request    github change commit message in pull request    github delete pushed commit    github actions get pull request number  
結果 : github commit changes to pull request