234 karma · joined May 13, 2021
Contact: cj.rs/contact/
cj.rs/talks · cj.rs/blog · cj.rs/cv · cj.rs/open-source
This is an OpenPGP proof that connects my OpenPGP key to this Hackernews account. For details check out https://docs.keyoxide.org/advanced/openpgp-proofs/
[Verifying my OpenPGP key: openpgp4fpr:bcc07bce9dd35b51c5b473f92ca0c9adb9747d20]
I agree, what I found noteworthy though is that git ls-files uses this index you already have for.
(author here, “proof”: https://cj.rs/contact/ & https://keybase.io/leowzukw)
So I’ve written an awk script to use HTML comments in the README you host on GitHub and insert/remove the small bits that need to differ between GitHub and your site. Why awk? It’s quite fast (see the benchmark session), ubiquitous (don’t add one more dependency in your CI) and felt like a good fit for this.
If that sounds interesting, please give it a try and let me know what you think! It’s really easy to run, you just need to download a small file.