File tree Expand file tree Collapse file tree 1 file changed +45
-0
lines changed Expand file tree Collapse file tree 1 file changed +45
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Fast-forward tracking branch for latest CodeQL version
2
+ on :
3
+ workflow_dispatch :
4
+
5
+ jobs :
6
+ fast-forward :
7
+ name : Fast-forward tracking branch for latest CodeQL version
8
+ runs-on : ubuntu-latest
9
+ if : github.repository == 'github/codeql'
10
+ permissions :
11
+ contents : write
12
+ env :
13
+ BRANCH_NAME : ' lgtm.com'
14
+ steps :
15
+ - name : Validate chosen branch
16
+ if : ${{ !startsWith(github.ref_name, 'codeql-cli-') }}
17
+ shell : bash
18
+ run : |
19
+ echo "::error ::The $BRANCH_NAME tracking branch should only be fast-forwarded to the tip of a codeql-cli-* branch, got $GITHUB_REF instead."
20
+ exit 1
21
+
22
+ - name : Checkout
23
+ uses : actions/checkout@v3
24
+
25
+ - name : Git config
26
+ shell : bash
27
+ run : |
28
+ git config user.name "github-actions[bot]"
29
+ git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
30
+
31
+ - name : Fetch
32
+ shell : bash
33
+ run : |
34
+ set -x
35
+ echo "Fetching $BRANCH_NAME"
36
+ # Explicitly unshallow and fetch to ensure the remote ref is available.
37
+ git fetch --unshallow origin "$BRANCH_NAME"
38
+ git checkout -b "$BRANCH_NAME" "origin/$BRANCH_NAME"
39
+
40
+ - name : Fast-forward
41
+ shell : bash
42
+ run : |
43
+ echo "Fast-forwarding $BRANCH_NAME to ${GITHUB_REF}@${GITHUB_SHA}"
44
+ git merge --ff-only "$GITHUB_SHA"
45
+ git push origin "$BRANCH_NAME"
You can’t perform that action at this time.
0 commit comments