☰

Get Random Github Issue

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

当前为 2024-01-31 提交的版本，查看 最新版本。

如何安装

您需要先安装一个扩展，例如 篡改猴、Greasemonkey 或 暴力猴，之后才能安装此脚本。

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

您需要先安装一个扩展，例如 篡改猴 或 暴力猴，之后才能安装此脚本。

您需要先安装一个扩展，例如 篡改猴 或 Userscripts ，之后才能安装此脚本。

您需要先安装一款用户脚本管理器扩展，例如 Tampermonkey，才能安装此脚本。

您需要先安装用户脚本管理器扩展后才能安装此脚本。

（我已经安装了用户脚本管理器，让我安装！）

如何安装

您需要先安装一款用户样式管理器扩展，比如 Stylus，才能安装此样式。

您需要先安装一款用户样式管理器扩展，比如 Stylus，才能安装此样式。

您需要先安装一款用户样式管理器扩展，比如 Stylus，才能安装此样式。

您需要先安装一款用户样式管理器扩展后才能安装此样式。

您需要先安装一款用户样式管理器扩展后才能安装此样式。

您需要先安装一款用户样式管理器扩展后才能安装此样式。

（我已经安装了用户样式管理器，让我安装！）

作者
veryCrunchy
评分
0 0 0
版本
1.0.0
创建于
2024-01-31
更新于
2024-01-31
大小
3.7 KB
许可证
暂无
适用于

Get Random Github Issue UserScript

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 the enhancement of this UserScript or report any issues you encounter. Your feedback is valuable!

Enjoy Discovering!

Enjoy the serendipity of discovering random GitHub issues with this UserScript. Happy coding and exploring!