GitHubのPullRequestを作成者でフィルタリングする
Pull Requestを作成者でフィルターしたい場合はauthor:作成者のIDを指定する。
例えばis:open is:pr author:suerはsuerが作成したPull Requestをフィルタリングする。
Dependabotが作成したPull Requestを見るとDependabotが作成したことになっているのでauthor:dependabotと指定したくなるが検索に引っかからない。
DependabotのPull Requestをフィルタリングする
Dependabotが作成したPull Requestをフィルタリングするにはauthor:app/dependabotを指定する。
