☰

Get Random Github Issue

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

Come installare

Dovrai installare un'estensione come Tampermonkey, Greasemonkey o Violentmonkey per installare questo script.

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

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Userscripts per installare questo script.

Dovrai installare un'estensione come ad esempio Tampermonkey per installare questo script.

Dovrai installare un gestore di script utente per installare questo script.

(Ho già un gestore di script utente, lasciamelo installare!)

Come installare

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

(Ho già un gestore di stile utente, lasciamelo installare!)

Autore
veryCrunchy
Installazioni giornaliere
0
Installazioni totali
6
Valutazione
0 0 0
Versione
1.0.0
Creato il
31/01/2024
Aggiornato il
31/01/2024
Dimensione
3,68 KB
Licenza
Non disponibile
Applica a

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!