fork of https://github.com/sourcegraph/zoekt
1name: sync zoekt
2on:
3 push:
4 branches:
5 - main
6
7 workflow_dispatch:
8 branches:
9 - main
10
11jobs:
12 sync-zoekt:
13 runs-on: ubuntu-latest
14 steps:
15 - uses: actions/checkout@v3
16 with:
17 repository: 'sourcegraph/sourcegraph'
18 ref: 'main'
19 - uses: actions/setup-go@v2
20 with: { go-version: '1.19' }
21 - run: go mod download
22 - run: ./dev/zoekt/update
23 - uses: peter-evans/create-pull-request@v3
24 if: github.event_name == 'push'
25 name: 'Create PR'
26 id: pr
27 with:
28 token: ${{ secrets.GH_TOKEN }}
29 title: 'zoekt: update to sourcegraph/zoekt@${{ github.sha }}'
30 commit-message: 'zoekt: update to sourcegraph/zoekt@${{ github.sha }}'
31 body: |
32 This PR is autogenerated to update to sourcegraph/zoekt@${{ github.sha }}
33
34 ## Test Plan
35
36 Testing is done on the zoekt repo. All checks on this PR are sufficient.
37
38 branch: 'zoekt/update'
39 delete-branch: 'true'
40 team-reviewers: 'search-team'
41 base: 'main'
42
43 - name: 'Check PR outputs'
44 run: |
45 echo "Pull Request Number - ${{ steps.pr.outputs.pull-request-number }}"
46 echo "Pull Request URL - ${{ steps.pr.outputs.pull-request-url }}"
47 - uses: peter-evans/enable-pull-request-automerge@v1
48 name: Enable Pull Request Automerge
49 if: steps.pr.outputs.pull-request-operation == 'created'
50 with:
51 token: ${{ secrets.GH_TOKEN }}
52 pull-request-number: ${{ steps.pr.outputs.pull-request-number }}
53 merge-method: squash
54 repository: 'sourcegraph/sourcegraph'