Closed adhrinae closed 2 years ago
I have the same issue. For a quick fix, change line 405 of search.php to ->icon(isset($issue->pull_request) ? 'pull-request' : 'issue')
. This prevents the undefined property error in case the given number is an issue and not a PR number. I'll open a PR right now 🙂
@gharlan Thank you for this workflow!
First of all, Thanks for the great work 👍 .
As a maintainer of some projects, I open the GitHub Issues page a lot. Sometimes I want to open a specific issue number without opening the issues page because I remember the issue number.
Even though your workflow supports that feature, It seems not working at the moment.
Environment
Steps of Reproduce
gh
and any arbitrary repository. for example, this repo.Space
and#
. and wait for any results to come out. Or Enter specific issue number like#20
Error log