Use newer Chrome User-Agent when accessing GitHub

Follow the examples on:

- https://developer.chrome.com/extensions/webRequest#examples
- https://developer.chrome.com/extensions/samples#search:catblock
- https://stackoverflow.com/questions/10334909/associate-a-custom-user-agent-to-a-specific-google-chrome-page-tab

to change the User-Agent header when accessing GitHub.

1 files changed, 7 insertions, 2 deletions

diff --git a/manifest.json b/manifest.json
index b50d7cb..854de84 100644
--- a/manifest.json
+++ b/manifest.json
@@ -7,6 +7,11 @@
 
 	"permissions": [
 		"webRequest",
-		"https://*.github.com/"
-	]
+		"webRequestBlocking",
+		"https://github.com/*"
+	],
+
+	"background": {
+		"scripts": ["change-user-agent.js"]
+	}
 }