Revision 560c17f9b067120c34b880cd223611402f2faf72 authored by Maxim Zhiltsov on 05 December 2023, 11:42:03 UTC, committed by GitHub on 05 December 2023, 11:42:03 UTC
- Fixed a 500 error for supervisors and workers when they tried to list settings in an org context - Added possible 403 and 404 errors for the task filter
1 parent e025b20
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 ...
