This repository contains a collection of bookmarklets designed to speed up and simplify your GitHub PR experience.
Bookmarklets are small JavaScript snippets stored as bookmarks in your browser. When clicked, they execute the JavaScript on the current page instead of navigating to a different URL. They are a powerful tool for modifying the display of a web page, debugging, and more.
- Navigate to one of the bookmarklets in the repository and copy its code.
- Create a new bookmark in your browser (the process may vary depending on the browser).
- Paste the copied code into the URL field of the bookmark.
- Save the bookmark.
Now, whenever you click this bookmark, it will execute the bookmarklet's JavaScript code on the current page.
pr-formatter-bookmarklet
: This bookmarklet formats the title and body of the pull request to a specific format. To use it, navigate to the "Open a pull request" page and click the bookmarklet.pr-image-formatter-bookmarklet
: This bookmarklet formats images in a pull request to a specific size. To use it, navigate to the"Open a pull request" page and click the bookmarklet.
Please refer to the individual bookmarklet files for more detailed information and usage instructions.