GitHub的高级搜索是可以的,但OpenGrok有一些理想的功能.
要使用OpenGrok和GitHub托管的repo,我必须:
或者还有另一种方式吗?
这是一般的想法,但是:
2/ 应该是一个完整的克隆:
git clone --mirror https://github.com/user/repo
Run Code Online (Sandbox Code Playgroud)
3/ 可以由 webhook触发:如果您侦听它们生成的JSON 有效负载,则您可以仅在 GitHub 存储库上有推送的地方拉取,然后推送回 OpenGrok 服务器。
注意:您可能想要排除 Pull refs ( refs/pull/{id}),即GitHub 存储在其 Git 存储库中的Pull 请求。
| 归档时间: |
|
| 查看次数: |
2828 次 |
| 最近记录: |