Skip to content

Instantly share code, notes, and snippets.

@david-crespo
david-crespo / github-bookmarklets.md
Last active August 19, 2024 04:58
GitHub bookmarklets

Bookmarklets for GitHub pain points

To install these bookmarklets, copy the line starting with javascript: into the URL field of a bookmark in your browser. For each one, I've included both a one-line version you can paste directly and a formatted version so you can read it. The (function() { ... })() IIFE wrapper in the one-liner is there because that's how you have to wrap up a block of code.

Load collapsed diffs

Presumably to optimize initial page load time, GitHub collapses large files in a diff by default. This clicks all the "load diff" buttons on the page. Note that we use a setTimeout to do it a second time 5 seconds later because on very large diffs, the full list of files can take time to load, which means you can click the bookmarklet too early.

Page to try it on: https://github.com/oxidecomputer/omicron/pull/2645/files

@david-crespo
david-crespo / readme.txt
Created April 24, 2023 20:45
Light Lines (PuzzleScript Script)
Play this game by pasting the script in http://www.puzzlescript.net/editor.html
@david-crespo
david-crespo / readme.txt
Created April 19, 2023 18:40
Light Lines (PuzzleScript Script)
Play this game by pasting the script in http://www.puzzlescript.net/editor.html
@david-crespo
david-crespo / readme.txt
Created April 16, 2023 21:54
Light Lines (PuzzleScript Script)
Play this game by pasting the script in http://www.puzzlescript.net/editor.html
@david-crespo
david-crespo / readme.txt
Created April 16, 2023 17:13
Adjacent sides test (PuzzleScript Script)
Play this game by pasting the script in http://www.puzzlescript.net/editor.html
@david-crespo
david-crespo / readme.txt
Created April 16, 2023 17:06
Light Lines (PuzzleScript Script)
Play this game by pasting the script in http://www.puzzlescript.net/editor.html
@david-crespo
david-crespo / readme.txt
Created April 16, 2023 16:59
Light Lines (PuzzleScript Script)
Play this game by pasting the script in http://www.puzzlescript.net/editor.html
@david-crespo
david-crespo / readme.txt
Created April 16, 2023 16:54
Light Lines (PuzzleScript Script)
Play this game by pasting the script in http://www.puzzlescript.net/editor.html
@david-crespo
david-crespo / readme.txt
Created April 16, 2023 16:23
Light Lines (PuzzleScript Script)
Play this game by pasting the script in http://www.puzzlescript.net/editor.html
@david-crespo
david-crespo / readme.txt
Created April 15, 2023 20:01
Light Lines (PuzzleScript Script)
Play this game by pasting the script in http://www.puzzlescript.net/editor.html