GitHub-userscripts
GitHub-userscripts copied to clipboard
Userscripts to add functionality to GitHub
I noticed that although the "comments" event fires on most PR events, now when you hit "Pull Requests" it doesn't fire. I've fixed this by adding ".new-discussion-timeline" to the comments...
Comment from Cool722 on Greasy Fork: > Hello, > > Sorry for the inconvenience, but unfortunately the following scripts don't work properly or at all : > > - https://greasyfork.org/fr/scripts/29239-github-static-time...
Github Static Time only works on the initial content of page, but when content is changed then it Github Static Time is not applied. Examples: #1 https://github.com/ --> The home...
GitHub Static Time does not work on gists, as the @match statement is quite limited. Please change it to: ``` // @match https://github.com/* // @match https://*.github.com/* ``` This will make...
Extension: https://github.com/Mottie/GitHub-userscripts/wiki/GitHub-image-preview I installed it via TamperMonkey: https://raw.githubusercontent.com/Mottie/GitHub-userscripts/master/github-image-preview.user.js 
Not sure if this is still being maintained but toggle commit comments no longer works. The html structure has changed, the the expanded section is dynamically added from an embeded...
Adds 3 floating buttons to webhook event selectors to check, uncheck or toggle (invert) all events 
Github paginates issues and PR with a fixed number of 25 items per page. Heavily using Ctrl-F to find stuff (in addition to Github search -- different properties), this is...
The greasyfork script link: https://greasyfork.org/en/scripts/18141-github-code-colors The gh page with hex colors: https://github.com/jesseweed/seti-ui/blob/master/styles/ui-variables.less