- 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
user-groups: fix potential problem with group sync of external plugins....
user-groups: fix potential problem with group sync of external plugins.
- when using external plugin we used to check for a parameter that set the
sync mode. The problem is we only checked if the flag was there. So
toggling sync on and off set the value and then left the key still set
but with None. This confused the sync and thought the group should be
synced !
<tr><tdcolspan="2"style="width:100%;padding-bottom:15px;border-bottom:1px solid #dbd9da;"><h4><ahref="${h.route_url('user_profile',username=user.username)}"style="color:#427cc9;text-decoration:none;cursor:pointer">${_('New user %(user)s has registered on %(date)s')%{'user':user.username,'date':h.format_date(date)}}</a></h4></td></tr>