docs: add github link in header

Signed-off-by: David Karlsson <35727626+dvdksn@users.noreply.github.com>
2023-10-12 09:37:23 +02:00 · 2023-10-12 09:37:23 +02:00 · 31707d54f3
parent 1596da6813
commit 31707d54f3
1 changed files with 6 additions and 0 deletions
--- a/docs/data/menu/extra.yaml
+++ b/docs/data/menu/extra.yaml
@ -0,0 +1,6 @@
+---
+header:
+  - name: GitHub
+    ref: https://github.com/distribution/distribution/
+    icon: gdoc_github
+    external: true