関連ワード:  github pull request shows merged commits    github delete pushed commit  
結果 : github pull request shows merged commits