diff options
author | 2020-09-19 20:43:01 -0400 | |
---|---|---|
committer | 2020-09-19 20:43:01 -0400 | |
commit | 4ccfc8529a61596c0e13b7a5d4bc6803a17bc467 (patch) | |
tree | 3cce119bee1001f3f6aca9ec5805e7cccd5fa2e9 | |
parent | 86fbeb5f24a0a5b7a116ba2ac7ea6f1a07ba02f2 (diff) |
Keep download link in GitHub release notes.
Having the direct links in e-mail notifications seems valuable. It also saves
having to search through release assets in the Web UI.
-rw-r--r-- | .github/workflows/release.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 3928a215..02141fc2 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -119,8 +119,7 @@ jobs: exit 0 fi elif [[ $echoing -eq 1 ]]; then - echo "$line" | grep -v '\(\[Textadept\|Download:\)' | - sed "s,\(manual\|api\)\.html,$prefix/\0,;" || continue + echo "$line" | sed "s,\(manual\|api\)\.html,$prefix/\0,;" fi done < docs/changelog.md >> log.md - name: Create release |