From 31707d54f33e1d196906fbd64b00ce2b92a1623e Mon Sep 17 00:00:00 2001
From: David Karlsson <35727626+dvdksn@users.noreply.github.com>
Date: Thu, 12 Oct 2023 09:37:23 +0200
Subject: [PATCH] docs: add github link in header

Signed-off-by: David Karlsson <35727626+dvdksn@users.noreply.github.com>
---
 docs/data/menu/extra.yaml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 docs/data/menu/extra.yaml

diff --git a/docs/data/menu/extra.yaml b/docs/data/menu/extra.yaml
new file mode 100644
index 000000000..aa3551dcc
--- /dev/null
+++ b/docs/data/menu/extra.yaml
@@ -0,0 +1,6 @@
+---
+header:
+  - name: GitHub
+    ref: https://github.com/distribution/distribution/
+    icon: gdoc_github
+    external: true