☰

GitHub PR Request Review From Specific User

Add a searchable input to request a GitHub pull request review from any collaborator

Comment installer

Vous devrez installer une extension telle que Tampermonkey, Greasemonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Userscripts pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey pour installer ce script.

Vous devrez installer une extension de gestionnaire de script utilisateur pour installer ce script.

(J'ai déjà un gestionnaire de scripts utilisateur, laissez-moi l'installer !)

Comment installer

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

(J'ai déjà un gestionnaire de style utilisateur, laissez-moi l'installer!)

Auteur
n0kovo
Installations quotidiennes
0
Installations (total)
1
Notes
0 0 0
Version
1.1
Créé
02/03/2026
Mis à jour
02/03/2026
Taille
12,7 ko
Compatibilité
Compatible avec Firefox Compatible avec Chrome Compatible avec Edge
Licence
GPL-3.0
S'applique à

This userscript adds a searchable input on GitHub pull request pages, to request a PR review from any collaborator, using an undocumented API feature.