boltless.me / zoekt
fork of https://github.com/sourcegraph/zoekt
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

chore: fix failing sync task (#566)

The search-core team has been renamed to search-team, resulting in the failure of the sync job.

author
Stefan Hengl committer
GitHub date (Mar 23, 2023, 5:00 PM +0100) commit 5ddb944a parent 989502cc
+1 -1
+1 -1
.github/workflows/pr.yml
··· 37 37 38 38 branch: 'zoekt/update' 39 39 delete-branch: 'true' 40 - team-reviewers: 'search-core' 40 + team-reviewers: 'sourcegraph/search-team' 41 41 base: 'main' 42 42 43 43 - name: 'Check PR outputs'