Github pull requests search for numeric characters

Hi all,
I have a pull request with the string “(RM5534)” in the title (no quotes).
I cannot make a search in pull requests list to filter out this PR by numeric, tried “is:pr 5534” and “is:pr in:title 5534”
If I have it as “RM-5534” in title, it filters out just fine by “is:pr 5534”.
How would I search for “RM5534” in the PR title only by the “5534” numbers?

Thanks!

Hi @sposelenov thanks for making your first post in the forum!

Is this in a public repository? Could you please share the link?

I haven’t been able to reproduce the result you are getting. The following should hav worked to return the PR in your repository.

is:pr in:title 5534