From d4a50e582f18383e555b111db2e927da178f4fa1 Mon Sep 17 00:00:00 2001 From: Brendan Kellam Date: Sat, 10 Oct 2026 14:37:23 -0400 Subject: [PATCH] ci: send Sourcebot sync requests to sourcebot-private Sourcebot development, including the workflow that updates the bundled Zoekt submodule, has moved to sourcebot-dev/sourcebot-private. Dispatch zoekt-pr-merged events there and scope the app token to that repo. Co-Authored-By: Claude Opus 5.5 --- .github/workflows/sync-sourcebot.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/sync-sourcebot.yml b/.github/workflows/sync-sourcebot.yml index 19178986f..3cb176273 100644 --- a/.github/workflows/sync-sourcebot.yml +++ b/.github/workflows/sync-sourcebot.yml @@ -23,7 +23,7 @@ jobs: app-id: ${{ secrets.RELEASE_APP_ID }} private-key: ${{ secrets.RELEASE_APP_PRIVATE_KEY }} owner: sourcebot-dev - repositories: sourcebot + repositories: sourcebot-private permission-contents: write - name: Request Sourcebot dependency update @@ -49,7 +49,7 @@ jobs: --header "Accept: application/vnd.github+json" \ --header "X-GitHub-Api-Version: 2022-11-28" \ --input - \ - repos/sourcebot-dev/sourcebot/dispatches + repos/sourcebot-dev/sourcebot-private/dispatches { echo "## Sourcebot sync requested"