☰

Get Random Github Issue

Adds a button to get random github issues from the repo you're on, respects your filter options

Jak nainstalovat

K instalaci tototo skriptu si budete muset nainstalovat rozšíření jako Tampermonkey, Greasemonkey nebo Violentmonkey.

You will need to install an extension such as Tampermonkey to install this script.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Violentmonkey.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Userscripts.

You will need to install an extension such as Tampermonkey to install this script.

K instalaci tohoto skriptu si budete muset nainstalovat manažer uživatelských skriptů.

(Už mám manažer uživatelských skriptů, nechte mě ho nainstalovat!)

Jak nainstalovat

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(Už mám manažer uživatelských stylů, nechte mě ho nainstalovat!)

Autor
veryCrunchy
Denně instalací
0
Celkem instalací
6
Hodnocení
0 0 0
Verze
1.0.0
Vytvořeno
31. 01. 2024
Aktualizováno
31. 01. 2024
Size
3,7 KB
Licence
neuvedeno
Spustit na

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.

Installation

To make use of this UserScript, follow these simple steps:

  1. Install a User Script Manager Extension:

  2. Install the UserScript:

    • Click on the install button above to add the script to your user script manager.

  3. Navigate and Discover:

    • Open any GitHub repository, where you'll find the newly added "Random issue" button. Click on it to explore and navigate to random issues within the repository effortlessly.

Contribution and Issues

Feel free to contribute to this UserScript or report any issues you encounter!