GitHub Bookmarklet
If you’re not using a browser which has the opportunity to enjoy our OpenSearch integration (or LaunchBar / Quicksilver), perhaps this will interest you: a GitHub search bookmarklet. Drag this…
If you’re not using a browser which has the opportunity to enjoy our OpenSearch integration (or LaunchBar / Quicksilver), perhaps this will interest you: a GitHub search bookmarklet.
Drag this into your bookmarks bar: GitHub Search
Thanks dougal!
Written by
Related posts

GitHub Availability Report: June 2025
In June, we experienced three incidents that resulted in degraded performance across GitHub services.

From pair to peer programmer: Our vision for agentic workflows in GitHub Copilot
AI agents in GitHub Copilot don’t just assist developers but actively solve problems through multi-step reasoning and execution. Here’s what that means.

GitHub Availability Report: May 2025
In May, we experienced three incidents that resulted in degraded performance across GitHub services.