From f8e7cf55c6208a0e06b461a50deac956230f0de2 Mon Sep 17 00:00:00 2001 From: kwatsen Date: Sun, 22 Feb 2026 20:03:04 -0500 Subject: [PATCH] uncomment 'Diff with Datatracker' in GHA --- .github/workflows/gen_index_html.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gen_index_html.sh b/.github/workflows/gen_index_html.sh index 4e4c988..def0722 100644 --- a/.github/workflows/gen_index_html.sh +++ b/.github/workflows/gen_index_html.sh @@ -60,7 +60,7 @@ for branch in $SORTED; do echo "
html / text / xml
" >> index.html if [ $branch = "main" ]; then - echo " Diff with RFC7950 " >> index.html + echo " Diff with RFC7950
Diff with Datatracker " >> index.html else echo " Diff with Main " >> index.html fi