FilesExpand file tree

main

/

fast-forward.yml

Copy path

View runs

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

51 lines (45 loc) · 1.67 KB

main

/

fast-forward.yml

Copy path

Top

File metadata and controls

• Code
• Blame

51 lines (45 loc) · 1.67 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

# Fast-forwards the branch specified in BRANCH_NAME

# to the github.ref/sha that this workflow is run on.

# Used as part of the release process, to ensure

# external query writers can always access a branch of github/codeql

# that is compatible with the latest stable release.

name: Fast-forward tracking branch for selected CodeQL version

on:

workflow_dispatch:

permissions:

contents: write

jobs:

fast-forward:

name: Fast-forward tracking branch for selected CodeQL version

runs-on: ubuntu-latest

if: github.repository == 'github/codeql'

env:

BRANCH_NAME: 'lgtm.com'

steps:

- name: Validate chosen branch

if: ${{ !startsWith(github.ref_name, 'codeql-cli-') }}

shell: bash

run: |

echo "::error ::The $BRANCH_NAME tracking branch should only be fast-forwarded to the tip of a codeql-cli-* branch, got $GITHUB_REF_NAME instead."

exit 1

- name: Checkout

uses: actions/checkout@v5

- name: Git config

shell: bash

run: |

git config user.name "github-actions[bot]"

git config user.email "41898282+github-actions[bot]@users.noreply.github.com"

- name: Fetch

shell: bash

run: |

set -x

echo "Fetching $BRANCH_NAME"

# Explicitly unshallow and fetch to ensure the remote ref is available.

git fetch --unshallow origin "$BRANCH_NAME"

git checkout -b "$BRANCH_NAME" "origin/$BRANCH_NAME"

- name: Fast-forward

shell: bash

run: |

echo "Fast-forwarding $BRANCH_NAME to ${GITHUB_REF}@${GITHUB_SHA}"

git merge --ff-only "$GITHUB_SHA"

git push origin "$BRANCH_NAME"