docs: changelog pasted into github release page

main
Guido Grazioli 2022-04-01 10:57:42 +02:00
parent 9365d38162
commit 28ff78d809
No known key found for this signature in database
GPG Key ID: 22C8C31EF2BC093B
1 changed files with 3 additions and 1 deletions

View File

@ -76,6 +76,7 @@ jobs:
run: | run: |
git config user.name github-actions git config user.name github-actions
git config user.email github-actions@github.com git config user.email github-actions@github.com
git diff --minimal --output-indicator-new=' ' -U0 --no-indent-heuristic CHANGELOG.rst | grep "^ "| sed -e 's/`\(#[0-9]\+\) <.*_/\1/g' > gh-release.md
git add CHANGELOG.rst changelogs/changelog.yaml git add CHANGELOG.rst changelogs/changelog.yaml
git commit -m "Update changelog for release ${{ steps.get_version.outputs.TAG_VERSION }}" || true git commit -m "Update changelog for release ${{ steps.get_version.outputs.TAG_VERSION }}" || true
git push origin git push origin
@ -98,8 +99,9 @@ jobs:
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with: with:
tag_name: ${{ steps.get_version.outputs.TAG_VERSION }}
files: "*.tar.gz" files: "*.tar.gz"
body: "Release v${{ steps.get_version.outputs.TAG_VERSION }}" body_path: gh-release.md
dispatch: dispatch:
needs: release needs: release