Multiple Label selection from the drop down

Description

(Include problem, use cases, benefits, and/or goals)

The issue search drop down allows to select issues based on Author, labels, etc. However only one option is allowed to check at a time from the drop down. Ex- If I want to select 10 labels for my issue search , I have to choose drop down 10 times. Instead if there would be a check box like option then multiple labels could be selected in one go.

gitlab

Proposal

Links / references

Documentation blurb

Overview

What is it?

Feature proposal.

Why should someone use this feature?

for good user experience

What is the underlying (business) problem?

eliminates redundant action of drop down selection by the user

Use cases

Who is this for? Provide one or more use cases.

Feature checklist

Make sure these are completed before closing the issue, with a link to the relevant commit.