如何按PR编号搜索Github请求拉取？

我过去可以通过请求号搜索github

该数字在拉取请求url中用作标识符，在每个拉取请求

#XXX

中以灰色显示

我曾经能够搜索

is:pr is:closed 1234

，并在pull请求本身中使用字符串1234获得pull请求的结果，同时会出现pull请求#1234。

---

我丢失了PR#1234的结果，我正在试图找出如何恢复此功能。

如果您知道PR号码，您可以直接转到URL（除非您出于某种原因需要从搜索功能访问它）：

https://github.com///pull/

更改url中的数字？这是一个解决方案。据我所知，从搜索功能访问它是github.com上已经消失的功能

https://github.com/<username>/<repository-name>/pull/<pr-number>