OctoLenses

As a developer, you shouldn't have to worry about filtering issues or pull requests manually and instead focus on what is fundamental: your code.

This extension allows you to create very precise filters than will nicely lay out all the information you need in order to be as productive as possible.

It features:
- Creating filters for GitHub (both issues and pull requests)
- Creating filters for Jira (so that you can better correlate your PRs with your issues, if you're using Jira)
- Notifications when there are new items in one of your filters

A dark theme was added, so that it doesn't hurt your eyes at night.