diff options
| author |  mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-19 20:43:01 -0400 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-09-19 20:43:01 -0400 |
| commit | 4ccfc8529a61596c0e13b7a5d4bc6803a17bc467 (patch) | |
| tree | 3cce119bee1001f3f6aca9ec5805e7cccd5fa2e9 /.github/workflows | |
| 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.
Diffstat (limited to '.github/workflows')
| -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 |