tweak link_ref

lestrrat-go · Oct 9, 2024 · 67f53c7 · 67f53c7
1 parent f9dc99d
commit 67f53c7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/autodoc.pl b/tools/autodoc.pl
@@ -7,6 +7,7 @@
 
 # Use GITHUB_REF, but if the ref is develop/v\d, then use v\d
 my $link_ref = $ENV{GITHUB_REF};
+$link_ref =~ s{^origin/refs/heads/}{};
 
 my @files = @ARGV;
 my @has_diff;