From 67f53c7b941eee939a2dfcb107384f2d64324142 Mon Sep 17 00:00:00 2001
From: Daisuke Maki <lestrrat+github@users.noreplay.github.com>
Date: Wed, 9 Oct 2024 09:24:46 +0900
Subject: [PATCH] tweak link_ref

---
 tools/autodoc.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/autodoc.pl b/tools/autodoc.pl
index 525edbd..ce4cdc7 100644
--- 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;