mirror of
https://github.com/FiloSottile/age.git
synced 2026-01-03 19:03:57 +00:00
.github/workflows: fix non-idempotent ronn email mangling
This commit is contained in:
committed by
Filippo Valsorda
parent
0703f86521
commit
f4e28fe809
9
.github/workflows/ronn.yml
vendored
9
.github/workflows/ronn.yml
vendored
@@ -15,6 +15,15 @@ jobs:
|
|||||||
- name: Run ronn
|
- name: Run ronn
|
||||||
uses: ./.github/workflows/ronn
|
uses: ./.github/workflows/ronn
|
||||||
id: ronn
|
id: ronn
|
||||||
|
- name: Undo email mangling
|
||||||
|
# rdiscount randomizes the output for no good reason, which causes
|
||||||
|
# changes to always get committed. Sigh.
|
||||||
|
# https://github.com/davidfstr/rdiscount/blob/6b1471ec3/ext/generate.c#L781-L795
|
||||||
|
run: |-
|
||||||
|
for f in doc/*.html; do
|
||||||
|
awk '/Filippo Valsorda/ { $0 = "<p>Filippo Valsorda <a href=\"mailto:age@filippo.io\" data-bare-link=\"true\">age@filippo.io</a></p>" } { print }' "$f" > "$f.tmp"
|
||||||
|
mv "$f.tmp" "$f"
|
||||||
|
done
|
||||||
- name: Commit and push if changed
|
- name: Commit and push if changed
|
||||||
run: |-
|
run: |-
|
||||||
git config user.name "GitHub Actions"
|
git config user.name "GitHub Actions"
|
||||||
|
|||||||
Reference in New Issue
Block a user