From 52c61dc92cb6cb0b617dadb41bb25744dfa8f242 Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Wed, 20 Dec 2017 17:30:45 +0100 Subject: [PATCH] update grammar: use github token --- build/npm/update-grammar.js | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/build/npm/update-grammar.js b/build/npm/update-grammar.js index acdeb659bc5..d65112b3456 100644 --- a/build/npm/update-grammar.js +++ b/build/npm/update-grammar.js @@ -14,14 +14,19 @@ var url = require('url'); function getOptions(urlString) { var _url = url.parse(urlString); + var headers = { + 'User-Agent': 'VSCode' + }; + var token = process.env['GITHUB_TOKEN']; + if (token) { + headers['Authorization'] = 'token ' + token + } return { protocol: _url.protocol, host: _url.host, port: _url.port, path: _url.path, - headers: { - 'User-Agent': 'NodeJS' - } + headers: headers }; }