我曾经能够通过请求请求号搜索github。
此编号在拉取请求网址中用作标识符，每个拉取请求#XXX均以灰色显示。
我曾经能够搜索is:pr is:closed 1234并获取请求请求中带有字符串1234的请求的结果以及请求＃1234。
我已经丢失了PR＃1234的结果，并且试图弄清楚如何重新获得此功能。
答案 0 :(得分：1)
如果知道PR号，则只需转到URL（除非出于某种原因您需要从搜索功能访问它），
https://github.com/<username>/<repository-name>/pull/<pr-number>