In a Pull request pipeline in the current GitHub repository, I want a pipeline step which will check if a PR exists (based on some criteria) in another GitHub repository. Is thi