Current Situation:
You cannot see the Github issue number on the card or filter for it.
If you hover on the Github issue link you can see the issue number in the URL

Desired Outcome:
1. Direct visibility to the issue tracker (Github) issue number in the collapsed and expanded card view
2. Search to find the card by the issuetracker (github) issue #.