Revision 539276395ea2f921bab79cfa6266f224fcdda7d0 authored by Andrey Zhavoronkov on 06 November 2023, 07:19:02 UTC, committed by GitHub on 06 November 2023, 07:19:02 UTC
Update develop after v2.8.1
gh_release_notes.sh
#!/bin/sh
# This script takes the release notes for the most recent release
# and reformats them for use in GitHub.
# In GitHub PR and release descriptions, a single line break is
# equivalent to <br>, so we pipe the text through pandoc to unwrap all lines.
set -eu
repo_root="$(dirname "$0")/.."
awk '/^## / { hn += 1; next } hn == 1 && !/^</' "$repo_root/CHANGELOG.md" \
| pandoc -f gfm -t gfm --wrap=none
Computing file changes ...
