File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 5858 git config user.name "github-actions[bot]"
5959 git config user.email "github-actions[bot]@users.noreply.github.com"
6060 git remote set-url origin https://x-access-token:${{ secrets.RELEASE_TOKEN }}@github.com/${{ github.repository }}
61- git add CHANGELOG.md RELEASE_NOTES.md
61+ git add CHANGELOG.md
6262 git commit -m "chore(release): update changelog for ${VERSION}"
6363 git tag "${VERSION}"
6464 git push origin main --tags
@@ -150,6 +150,3 @@ jobs:
150150 "dist/verda_${VER}_binary_SHA256SUMS.pem" \
151151 "dist/verda_${VER}_SHA256SUMS.sig" \
152152 "dist/verda_${VER}_SHA256SUMS.pem"
153-
154- - name : Clean up release notes
155- run : rm -f RELEASE_NOTES.md
Original file line number Diff line number Diff line change @@ -376,6 +376,9 @@ scripts/live-test.sh
376376.claude /commands /
377377.claude /topic-switch.json
378378
379+ # Release artifacts (generated during CI release workflow)
380+ RELEASE_NOTES.md
381+
379382# AI working notes and implementation plans (not shipped)
380383.ai /notes /
381384docs /plans /
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments