ci: check for broken git-scm.com links

Not all links are relative in the PR build; Some of the links originate
from Git's manual pages or from the ProGit book or its translations, and
those links are of the form "https://git-scm.com/...". Let's map those
into "file:///..." URLs so that lychee checks them even in offline mode.

This uncovers a broken link which is address by
jnavila/git-manpages-l10n#131. For the time
being, this patch adds a work-around specifically for that issue lest
contributors' PRs fail through no fault of their own.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

.github/workflows/ci.yml

@@ -58,12 +58,20 @@ jobs:
         done
         exit $res
 
+    - name: work around for broken link
+      # See https://github.com/jnavila/git-manpages-l10n/pull/131;
+      # A space is missing in "https://git-scm.com/docs上查看"
+      run: |
+        sed -i 's,\(href="\(https://git-scm.com/docs\)\)\(上查看\)"\([^>]*>\)\2\3\(</a>\),\1"\4\1\5 \3,p' \
+          external/docs/content/docs/git/zh_HANS-CN.html
+
     - name: check for broken links
       id: lychee
       uses: lycheeverse/lychee-action@v2
       with:
         args: >-
           --offline
+          --remap '^https?://git-scm.com(.*) file://'"$PWD"'/public$1'
           --fallback-extensions html
           --exclude file:///path/to/repo.git/
           --exclude file:///caminho/para/o/reposit%C3%B3rio.git/