☰

Get Random Github Issue

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

如何安裝

您需要先安裝使用者腳本管理器擴展，如 Tampermonkey、Greasemonkey 或 Violentmonkey 之後才能安裝該腳本。

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

您需要先安裝使用者腳本管理器擴充功能，如 Tampermonkey或 Violentmonkey 後才能安裝該腳本。

您需要先安裝使用者腳本管理器擴充功能，如 Tampermonkey或 Userscripts 後才能安裝該腳本。

你需要先安裝一款使用者腳本管理器擴展，比如 Tampermonkey，才能安裝此腳本

您需要先安裝使用者腳本管理器擴充功能後才能安裝該腳本。

（我已經安裝了使用者腳本管理器，讓我安裝！）

如何安裝

你需要先安裝一款使用者樣式管理器擴展，比如 Stylus，才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展，比如 Stylus，才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展，比如 Stylus，才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展後才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展後才能安裝此樣式

你需要先安裝一款使用者樣式管理器擴展後才能安裝此樣式

（我已經安裝了使用者樣式管理器，讓我安裝！）

作者
veryCrunchy
今日安裝
0
安裝總數
6
評價
0 0 0
版本
1.0.0
建立日期
2024-01-31
更新日期
2024-01-31
尺寸
3.7 KB
授權條款
未知
腳本執行於

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!