From b2b9f6b59a75925a3d046bc36d38104ec15cbe0d Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Wed, 23 Aug 2017 00:23:10 +0200
Subject: 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.
---
 manifest.json | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'manifest.json')

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"]
+	}
 }
-- 
cgit v1.2.3