[post update] add link

_posts/2023-10-30-github-tip-filter-involves.md

@@ -26,6 +26,6 @@ GitHub provides some convenient "built-in" filters to help you navigate the matt
     half_width=true
 %}
 
-However, wouldn't it also be nice to see _all of these pull requests_ at once? That is, all of your own pull requests, everything assigned to review, and everything where you are actively in discussion? You can, with the filter `involves:@me`, which will show you all the pull requests you are _involved in_, in any capacity. In other words, it shows you everything that requires your attention. I have found this super helpful when I'm participating in lots of pull request review discussions as well as opening a lot of pull requests, and I want to see everything together. Better yet, it also works when filtering issues.
+However, wouldn't it also be nice to see _all of these pull requests_ at once? That is, all of your own pull requests, everything assigned to review, and everything where you are actively in discussion? You can, with [the filter `involves:@me`](https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests#search-by-a-user-thats-involved-in-an-issue-or-pull-request), which will show you all the pull requests you are _involved in_, in any capacity. In other words, it shows you everything that requires your attention. I have found this super helpful when I'm participating in lots of pull request review discussions as well as opening a lot of pull requests, and I want to see everything together. Better yet, it also works when filtering issues.
 
 {% include post_image.html %}