- Use '/' key to quickly access this field.
- Enter a name of repository, or repository group for quick search.
- Prefix query to allow special search:
user:admin, to search for usernames, always global
user_group:devops, to search for user groups, always global
pr:303, to search for pull request number, title, or description, always global
commit:efced4, to search for commits, scoped to repositories or groups
file:models.py, to search for file paths, scoped to repositories or groups
For advanced full text search visit: repository search
api: use consistent way to extract users, repos, repo groups and user groups by id or name....
api: use consistent way to extract users, repos, repo groups and user groups by id or name.
- makes usage of Number vs String to differenciate if we pick objec ID or it's name
this will allow easy fetching of objects by either id or it's name, including numeric string
name
- fixes #5230
<h3class="panel-title">${_('Import New Groups or Repositories')}</h3>
</div>
<divclass="panel-body">
<divclass="checkbox">
${h.checkbox('destroy',True)}
<labelfor="destroy">${_('Destroy old data')}</label>
</div>
<spanclass="help-block">${_('In case a repository or a group was deleted from the filesystem and it still exists in the database, check this option to remove obsolete data from the database.')}</span>
<divclass="checkbox">
${h.checkbox('invalidate',True)}
<labelfor="invalidate">${_('Invalidate cache for all repositories')}</label>
</div>
<spanclass="help-block">${_('Each cache data for repositories will be cleaned with this option selected. Use this to reload data and clear cache keys.')}</span>