From 80874532457c86cd89d76426cd1d6c711c5a750c Mon Sep 17 00:00:00 2001
From: Simon Ostendorf <github@simon-ostendorf.de>
Date: Sat, 31 Aug 2024 08:45:41 +0200
Subject: [PATCH] fix: add github_user_ssh_signing_key to github.erb

---
 website/github.erb | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/website/github.erb b/website/github.erb
index 62cac7134..67c037f5a 100644
--- a/website/github.erb
+++ b/website/github.erb
@@ -385,6 +385,9 @@
             <li>
               <a href="/docs/providers/github/r/user_ssh_key.html">github_user_ssh_key</a>
             </li>
+            <li>
+              <a href="/docs/providers/github/r/user_ssh_signing_key.html">github_user_ssh_signing_key</a>
+            </li>
           </ul>
         </li>
       </ul>