ESSENTIAL UserScripts

Userscripts I use and consider essential.

GitHub Time

Based off original work by Motty

GitHub properties use a relative date format. As this is frustrating, lossy and largly useless, apply the GitHub Time script to rectify this. The script targets github.com and githubapps.com specifically.

• GitHub Time script

I personally use the ISO8601 format YYYY-MM-DD HH:mm:ss Z, eg. 2023-07-25 15:06:39 +10:00. This can be set in the Userscript settings.

• GitHub Time settings

Stranger Google

Google search page but HIDEOUS.

• Stranger Google

• 

---