File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -98,22 +98,17 @@ jobs:
9898 VERSION_NUMBER : ${{ github.event.inputs.version_number }}
9999 working-directory : ./local_kernel
100100 run : |
101- echo "=== Git log (last 5 commits) ==="
102- git log --oneline -5
103- echo "=== Git status ==="
104- git status
105- echo "=== Git diff --stat ==="
106- git diff --stat
101+ # The update_src_version.py script detaches HEAD by checking out a SHA.
102+ # Re-attach HEAD to the release prep branch, keeping all commits.
103+ git branch -f "release-prep-$VERSION_NUMBER" HEAD
104+ git checkout "release-prep-$VERSION_NUMBER"
105+
107106 git add .
108- echo "=== Staged changes ==="
109- git diff --cached --stat
110107 if git diff --cached --quiet; then
111108 echo "No new changes to commit — source files and manifest already up to date."
112109 else
113110 git commit -m '[AUTO][RELEASE]: Update version number in manifest.yml and source files'
114111 fi
115- echo "=== Commits ahead of origin/main ==="
116- git log --oneline origin/main..HEAD
117112 git push -u origin "release-prep-$VERSION_NUMBER"
118113
119114 - name : Create pull request
You can’t perform that action at this time.
0 commit comments