如何链接到GitHub上的文件类型搜索？

在这个请求中，原始海报添加了一些文件搜索链接，用于

.nsi

和

.awk

文件类型：

他是怎么做到的？是否有一些特殊语法，如

@提及

或

用户/repo#发行

或他只是用了很艰难的方式：

[`.nsi` files](https://github.com/search?p=5&q=extension%3Ansi+if&ref=searchresults&type=Code&utf8=%E2%9C%93)
[`.awk` files](https://github.com/search?utf8=%E2%9C%93&q=extension%3Aawk+if&type=Code&ref=searchresults)

---

我不知道搜索有什么神奇的语法。当然，在或中没有显示任何内容，尽管两者都描述了用户提及、问题链接、SHA链接等

我推测，该评论的作者在另一个选项卡中执行了搜索，然后将生成的URL复制到他们的评论中