##// END OF EJS Templates
pull-request: force update pull-request in case of the target repo reference changes....
pull-request: force update pull-request in case of the target repo reference changes. - We should be able to force update a diff if the target repo reference changes. It will help detect commits that are pushed into the target from the origin. - Fixes #5266

File last commit:

r884:4dac0063 default
r1595:c00c09dd default
Show More
Gruntfile.js
15 lines | 570 B | application/javascript | JavascriptLexer
var gruntConfig = require('./grunt_config.json');
module.exports = function(grunt) {
grunt.initConfig(gruntConfig);
grunt.loadNpmTasks('grunt-contrib-less');
grunt.loadNpmTasks('grunt-contrib-concat');
grunt.loadNpmTasks('grunt-contrib-watch');
grunt.loadNpmTasks('grunt-contrib-jshint');
grunt.loadNpmTasks('grunt-vulcanize');
grunt.loadNpmTasks('grunt-crisper');
grunt.loadNpmTasks('grunt-contrib-copy');
grunt.registerTask('default', ['less:production', 'less:components', 'concat:polymercss', 'copy', 'concat:dist', 'vulcanize', 'crisper']);
};