Extensions by MichaelB

GitHub Custom Filters

🧩 More extensions

Custom filters for GitHub issues/PRs and branch favorites with quick access