関連ワード:  github event pull_request auto_merge    github portfolio examples    github delete history  
結果 : github event pull_request auto_merge