What does this MR do?
It sorts the issues by label priority
Are there points in the code the reviewer needs to double check?
IS NOT DISTINCT FROM in the scope for sorting by priority. It is in the SQL standard, but I am not sure if it is implemented by all the databases.
Why was this MR needed?
Then the priority list in the manual can be expressed in the application