Make GitHub's PR sidebar actually usable - resizable, with tooltips and optional horizontal scrolling. Settings are persistent and configurable via a button on the toolbar.
Aún no se ha publicado ninguna conversación.
Si crees que este script incumple las normas de Greasy Fork, puedes denunciarlo para que otros lo borren.
