fork of https://github.com/sourcegraph/zoekt
0

Configure Feed

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

ci: cleanup whitespace

+11 -11
+2 -2
.github/workflows/ci.yml
··· 25 25 - uses: actions/checkout@v2 26 26 - name: Run ShellCheck 27 27 uses: ludeeus/action-shellcheck@1.1.0 28 - 28 + 29 29 shfmt: 30 30 name: shfmt 31 31 runs-on: ubuntu-latest ··· 36 36 filter_mode: "nofilter" 37 37 fail_on_error: "true" 38 38 shfmt_flags: "-i 2 -ci -bn" 39 - 39 + 40 40 # We build a shared docker image called "zoekt". This is not pushed, but is 41 41 # used for creating the indexserver and webserver images. 42 42 docker:
+9 -9
.github/workflows/pr.yml
··· 5 5 - master 6 6 7 7 workflow_dispatch: 8 - branches: 8 + branches: 9 9 - master 10 10 11 - jobs: 11 + jobs: 12 12 sync-zoekt: 13 13 runs-on: ubuntu-latest 14 - steps: 14 + steps: 15 15 - uses: actions/checkout@v2 16 - with: 17 - repository: 'sourcegraph/sourcegraph' 16 + with: 17 + repository: 'sourcegraph/sourcegraph' 18 18 ref: 'main' 19 19 - uses: actions/setup-go@v2 20 - with: { go-version: '1.18' } 20 + with: { go-version: '1.18' } 21 21 - run: go mod download 22 22 - run: ./dev/zoekt/update 23 23 - uses: peter-evans/create-pull-request@v3 24 24 if: github.event_name == 'push' 25 25 name: 'Create PR' 26 26 id: pr 27 - with: 27 + with: 28 28 token: ${{ secrets.GH_TOKEN }} 29 29 title: 'zoekt: update to sourcegraph/zoekt@${{ github.sha }}' 30 30 commit-message: 'zoekt: update to sourcegraph/zoekt@${{ github.sha }}' ··· 39 39 delete-branch: 'true' 40 40 team-reviewers: 'search-core' 41 41 base: 'main' 42 - 42 + 43 43 - name: 'Check PR outputs' 44 44 run: | 45 45 echo "Pull Request Number - ${{ steps.pr.outputs.pull-request-number }}" 46 - echo "Pull Request URL - ${{ steps.pr.outputs.pull-request-url }}" 46 + echo "Pull Request URL - ${{ steps.pr.outputs.pull-request-url }}" 47 47 - uses: peter-evans/enable-pull-request-automerge@v1 48 48 name: Enable Pull Request Automerge 49 49 if: steps.pr.outputs.pull-request-operation == 'created'