diff options
Diffstat (limited to 'gulpfile.js')
| -rw-r--r-- | gulpfile.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gulpfile.js b/gulpfile.js index 204ac7b60c0..3a90599b4fd 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -29,6 +29,7 @@ const assign = require('object-assign'); const monacodts = require('./build/monaco/api'); const fs = require('fs'); const glob = require('glob'); +const pkg = require('./package.json'); const rootDir = path.join(__dirname, 'src'); const options = require('./src/tsconfig.json').compilerOptions; @@ -215,7 +216,7 @@ gulp.task('mixin', function () { return; } - const url = 'https://github.com/' + repo + '/archive/master.zip'; + const url = `https://github.com/${ repo }/archive/${ pkg.distro }.zip`; const opts = { base: '' }; const username = process.env['VSCODE_MIXIN_USERNAME']; const password = process.env['VSCODE_MIXIN_PASSWORD']; |