github - GitHub で OpenGrok を使用するには?

Question

GitHub の高度な検索は問題ありませんが、OpenGrok には望ましい機能がいくつかあります。

GitHub がホストするリポジトリで OpenGrok を使用するには、次のことを行う必要があります。

1. 独自の OpenGrok サーバーをセットアップする
2. さまざまなリポジトリのクローンを作成します
3. プルをスケジュールして最新の状態に保つ

それとも別の方法がありますか？

Answer 1

それは一般的な考えですが、次のとおりです。

2/ は完全なクローンである必要があります。

git clone --mirror https://github.com/user/repo

3/ はwebhook によってトリガーできます: それらが生成するJSON ペイロードをリッスンすると、GitHub リポジトリでプッシュがある場所のみをプルし、OpenGrok サーバーにプッシュバックできます。

注: プル リファレンス( )を除外したい場合があります。これは、 GitHub が Git リポジトリに保存するプル リクエストです。refs/pull/{id}