From 5a07b8d04d216653695410aee8d03d2a990e8464 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sun, 22 Mar 2020 15:32:06 +0100
Subject: github.com: Add a GoDoc link in the header next to the repo name

---
 godoc-links.user.js | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'godoc-links.user.js')

diff --git a/godoc-links.user.js b/godoc-links.user.js
index de1fed6..8b7c17a 100644
--- a/godoc-links.user.js
+++ b/godoc-links.user.js
@@ -24,3 +24,14 @@ function github () {
 		}
 	}
 }
+
+
+function github_add_godoc_link () {
+	var github_repo_header_el = document.querySelector('.pagehead.repohead .flex-wrap')
+
+	var container_el = document.createElement('span');
+	container_el.className = 'flex-self-stretch';
+	var link_el = document.createElement('a');
+	link_el.href = '';
+	link_el.textContent = '(GoDoc)';
+}
-- 
cgit v1.2.3