##// 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:

r2757:4b0930b4 merge default
r2774:a8ecef4e default
Show More
.release.cfg
33 lines | 403 B | text/x-ini | IniLexer
[DEFAULT]
done = false
[task:bump_version]
done = true
[task:rc_tools_pinned]
done = true
[task:fixes_on_stable]
done = true
[task:pip2nix_generated]
done = true
[task:changelog_updated]
done = true
[task:generate_api_docs]
done = true
[release]
state = prepared
version = 4.11.6
[task:updated_translation]
[task:generate_js_routes]
[task:updated_trial_license]
[task:generate_oss_licenses]