Blog posts on "tip"

< Get back to blog

EN How to filter GitHub issues other people made in your repository

Actually, there are a lot of keywords and special syntax you may use to filter on your GitHub issues and pull requests, but this one seemed to be highly useful for me at one point, and might be also for you. Also, if you are a maintainer of an OOS repository, you might want to filter all your issues or PRs out to see what is left. And here it is: (Notice the - sign, which means "exclusion") [...] It is als...