How to filter issues on GitHub by issue id?
To show a special issue, for example issue #4, you could just write the ID in the URL like this:
https://github.com/unknown-horizons/unknown-horizons/issues/4
I would like to share a full example of how to filter by issues id
As previously mentioned you just need to type in the numbers of ID as e.g. issue: 1 2 3
and it will filter those tickets.