Adds a button to get random github issues from the repo you're on, respects your filter options
Get Random Github Issue is a user script designed to enhance your GitHub browsing experience. It seamlessly integrates with the GitHub interface, providing a convenient button to quickly navigate to random issues within the current repository. Notably, this script respects any existing filter options set by the user.
To make use of this UserScript, follow these simple steps:
Install a User Script Manager Extension:
Install the UserScript:
Navigate and Discover:
Feel free to contribute to this UserScript or report any issues you encounter!
