Skip to content

Instantly share code, notes, and snippets.

View JGJP's full-sized avatar

J Garcia JGJP

View GitHub Profile
@JGJP
JGJP / gh-pr-favicon.js
Created July 13, 2026 10:59
ViolentMonkey Github favicon setter
// ==UserScript==
// @name GitHub PR State Favicon
// @namespace https://github.com/pr-state-favicon
// @version 6.2.0
// @description Sets the tab favicon to the matching Octicon per pull request state. Re-applies after load with a fresh URL so Firefox actually repaints (Firefox ignores favicon changes made during load).
// @match https://github.com/*/*/pull/*
// @run-at document-idle
// @grant none
// ==/UserScript==

Keybase proof

I hereby claim:

  • I am jgjp on github.
  • I am setterr (https://keybase.io/setterr) on keybase.
  • I have a public key ASB3GrvVk2iamFsYADrR5M8qAI9F6ISvsLYSjpKSYI2b5Qo

To claim this, I am signing this object: