We use gitlab.com
In the last couple of weeks we noticed that issue filtering by issue ID is no longer working.
https://docs.gitlab.com/ee/user/search/#filtering-by-id
I’m not sure if this aligns with a new release of gitlab.com, or that we simply didn’t notice until recently.
Is this something that was deliberately removed?