我以前可以通过拉取请求编号搜索 github。
该数字在拉取请求 URL 中用作标识符，并且在每个拉取请求中显示为灰色#XXX。
我曾经能够使用is:pr is:closed 1234拉取请求本身中的字符串 1234 搜索并获取拉取请求的结果，并且会出现拉取请求 #1234。我丢失了 PR #1234 的结果，我正在尝试找出如何恢复此功能。
如果您知道 PR 编号，则可以直接访问 URL（除非您出于某种原因需要通过搜索功能访问它）：
https://github.com/<username>/<repository-name>/pull/<pr-number>
| 归档时间： |
|
| 查看次数： |
2180 次 |
| 最近记录： |