cleancmd.pl: strip out backticked words

To make sure they are not spellchecked. Also, leaving two backticks is
not good because they cause the spellchecker to misinterpret the
markdown file so they have to be removed as well.

diff --git a/.github/scripts/cleancmd.pl b/.github/scripts/cleancmd.pl
index e9366de740103fc1467415ea9d6a4d74d227421a..355a845e4c5e5627a3666e400fec08dabc292af2 100755 (executable)
--- a/.github/scripts/cleancmd.pl
+++ b/.github/scripts/cleancmd.pl
@@ -37,6 +37,9 @@ while(<F>) {
     }
     next if($ignore);
 
+    # strip out backticked words
+    $_ =~ s/`[^`]+`//g;
+
     # strip out all long command line options
     $_ =~ s/--[a-z0-9-]+//g;