Ofer's GitHub Tools — oferhazan.yesodot

Ofer's GitHub Tools bundles several personal GitHub productivity tools into one lightweight extension, powered entirely by your existing GitHub session. No OAuth, no tokens, no backend, no telemetry.

PR BOOKMARK FOLDER
Keeps a bookmark folder in sync with your open pull requests.
• Automatic background sync every few minutes (configurable)
• Pin/favorite important PRs so they stay on top
• Group by repository, exclude noisy repos, and auto-archive stale PRs
• Draft indicator, PR numbers, comment counts, and an "unread" dot
• A "New" tag on PRs that appeared since the last sync
• Desktop notifications for new PRs
• Keyboard shortcut (Alt+Shift+P) to sync instantly

COPILOT USAGE TRACKER
Keep an eye on your GitHub Copilot credit consumption.
• Visual usage bar for the current billing cycle
• Burn-rate projection that estimates whether you'll run out before reset
• Daily-usage sparkline trend
• Optional threshold alerts and a toolbar badge that shifts color

PR REVIEW TOOLS
Small helpers injected right into GitHub's PR interface.
• Toggle all files as viewed with one click
• Revert a single file to the base branch
• Copy a ready-to-run command to reset a branch to any commit

APPEARANCE
• Light, dark, and system themes plus an accent color and a fun Hello Kitty theme
• Adjustable density and font size
• Settings auto-save as you change them

HOW IT WORKS
The extension reads your open PRs from github.com/pulls and your Copilot usage from your GitHub settings, using the session you're already signed in with. If you can see those pages in your browser, the extension works. Everything is processed locally — no data ever leaves your browser.