Use '/' key to quickly access this field.
Enter name of repository, or repository group for quick search.
Prefix query to allow special search:
user:admin, to search for usernames
user_group:devops, to search for user groups
commit:efced4, to search for commits
- fix authorization for viewing submission, only admin can view all problems all the time, normal user depends on right.view_submission and problem.available?
- add max score query
