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
add feature check maximum score in submission ranges
available in the [result] admin menu.
A user can enter a range of submissions id and the maximum score per each user,problem
among the submission ranges will be reported
(grafted from a9d427f3be11871c9948750e94ba5ae988f24eb7)
