File tree Expand file tree Collapse file tree 1 file changed +37
-0
lines changed Expand file tree Collapse file tree 1 file changed +37
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Sync Main
2
+ on :
3
+ schedule :
4
+ - cron : ' 0 12 * * *'
5
+ push :
6
+ branches :
7
+ - ' main'
8
+ workflow_dispatch :
9
+ jobs :
10
+ sync-main :
11
+ name : Sync-main
12
+ runs-on : ubuntu-latest
13
+ if : github.repository == 'microsoft/codeql'
14
+ permissions :
15
+ contents : write
16
+ steps :
17
+ - name : Checkout
18
+ uses : actions/checkout@v3
19
+ - name : Git config
20
+ shell : bash
21
+ run : |
22
+ git config user.name Dilan Bhalla
23
+ git config user.email [email protected]
24
+ - name : Fetch
25
+ shell : bash
26
+ run : |
27
+ set -x
28
+ git fetch
29
+ git remote add upstream https://github.com/github/codeql.git
30
+ git fetch upstream --tags --force
31
+ - name : Sync Main
32
+ shell : bash
33
+ run : |
34
+ git merge codeql-cli/latest
35
+ git push origin main
36
+ git push origin --tags --force
37
+
You can’t perform that action at this time.
0 commit comments