関連ワード:  pull request successfully merged and closed    pull request vs merge    pull request vs merge request  
結果 : pull request merged vs closed