PR page improvements

many things for github PRs

As of 2024-11-20. See the latest version.

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 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.

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.

Author

Rather Not Say

Ratings

0 0 0

Version

1.3

Created

2024-07-05

Updated

2024-11-20

Size

2.26 KB

License

N/A

Applies to