This is a Chrome extension and bookmarklet that provides additional contributor information on Github pull requests pages. Data is from the Open Source Explorer (https://explore.market.dev).
- Runs only on PR detail pages.
- Flags PRs opened by non-experts.
- Shows expert details when the opener is an expert.
- Open
chrome://extensions. - Enable Developer Mode.
- Click "Load unpacked" and select
chrome-plugin. - Open a GitHub pull request page and configure the panel.
- Open
chrome-plugin/bookmarklet.jsand copy the file contents. - Create a new bookmark and paste this into the URL field:
javascript:(PASTE_THE_FILE_CONTENTS_HERE)
Tip: remove newlines to keep it short.
If the bookmarklet fails, it is likely due to CORS restrictions. The Chrome extension avoids this limitation.
API base URLshould point to a Market.dev host (default:https://explore.market.dev).API keyis optional and only needed when the API is locked.