Expose the Github issue number in cards and search/filter
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
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 #.