Reusable prompt capturing the GitHub-side work done on cskevint/hafh-next on
2026-07-28. Hand this to an agent on another repo, or re-read it to audit this
one. Reasoning is included deliberately — the judgment calls matter more than
the commands, and a script without them produces the wrong config on a repo
with different constraints.
Kevin Trotter cskevint
cskevint
/ hardening_prompt.md
Last active
July 29, 2026 16:02
cskevint
/ github_add_branch_links_userscript.js
Created
October 31, 2014 18:10
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name Add Branch Links | |
| // @namespace http://www.github.com/ | |
| // @version 0.1 | |
| // @description Add extra links to branches page | |
| // @match https://github.com/*/branches* | |
| // @copyright 2014, Kevin Trotter | |
| // ==/UserScript== | |
| $(function () { |
cskevint
/ github_userscript.js
Last active
July 12, 2019 03:19
UserScript that enhances GitHub.com repo links.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name Add GitHub Repo Links | |
| // @namespace http://cskevint.github.io/ | |
| // @version 0.1.1 | |
| // @description Add some useful links to the header area of a GitHub repo. | |
| // @match http*://github.com/* | |
| // @copyright 2013, Kevin Trotter | |
| // ==/UserScript== | |
| $(function(){ |