##// END OF EJS Templates
repo-switcher: new unified search box for filtering/accessing users, repos and repo groups....
repo-switcher: new unified search box for filtering/accessing users, repos and repo groups. - mainly driven by customer feedback - two filter boxes on main page was confusing, and people constantly asked if grid filter can search recursive - now we use one unified search on main nave accessible on every page - it now also can search for users

File last commit:

r884:4dac0063 default
r2774:a8ecef4e 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']);
};