| ▲ | akoboldfrying 4 days ago | |
age looks really interesting, thanks. I also learned from that page that appending ".keys" to your GitHub profile URL (so https://github.com/yourusername.keys) returns a list of your SSH public keys! (Where is this documented...?) | ||
| ▲ | tomjakubowski 4 days ago | parent [-] | |
Another trick with github urls: you can append .patch or .diff to any PR or commit URL, and you'll get back a git-formatted patch or diff. https://github.com/rust-lang/rust/pull/139966 | ||