☰

Github Pull Requests Overview link

Insert a Pulls Requests Overview and Pulls RFR link in the menu with pre-defined filters

How to install

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

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

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

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

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

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

(I already have a user script manager, let me install it!)

How to install

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.

(I already have a user style manager, let me install it!)

Author
simonwahlgren
Daily installs
0
Total installs
18
Ratings
0 0 0
Version
0.5
Created
2018-05-31
Updated
2020-05-04
Size
1.17 KB
License
N/A
Applies to

You can also try these related scripts:

  • Github Enhancement - High Speed Download - High-speed download of Git Clone/SSH, Release, Raw, Code(ZIP) and other files (Based on public welfare), project list file quick download (☁)
  • GitHub Internationalization - Translate GitHub.com
  • My Prompt - Universal Prompt Manager for ChatGPT, Gemini, DeepSeek, Grok, Claude, and more LLMs. Optimize workflows with Prompt Enhance, Dynamic Prompts, Fast Navigation, and Quick Paste. Features Auto File Attachment, shortcut support, and full customization. Supports External Prompts with automatic updates, an ideal solution for standardizing operations and increasing efficiency for teams, developers, and workgroups.
  • GitHub Plus - Enhance GitHub with additional features.
  • GitHub Internationalization - Translate GitHub