Skip to content


"GitHub is a development platform inspired by the way you work. From open source to business, you can host and review code, manage projects, and build software alongside 50 million developers." -

"GitHub, Inc. is a provider of Internet hosting for software development and version control using Git. It offers the distributed version control and source code management (SCM) functionality of Git, plus its own features. It provides access control and several collaboration features such as bug tracking, feature requests, task management, continuous integration and wikis for every project. Headquartered in California, it has been a subsidiary of Microsoft since 2018." -


Get all public keys for a user

Append .keys to the user profile URL, so becomes This is useful for adding to ~/.ssh/authorized_keys

Get a downloadable patch for a git commit

Append .patch to a commit URL, so becomes

Get a list of repositories for a user

This gives a list of repositories sorted by the last time they were pushed to.

curl -s |
jq -r '.[] | "\(.pushed_at) \(.html_url)"' |
sort -d |

Add a collapsible section in markdown

Markdown supports adding HTML elements. One element that can be useful for hiding large chunks of data that are related to a comment but might drown it out is the <details> element. This works in markdown documents, and PR and issue descriptions and comments.

<summary>Clickable thing that unfolds the details</summary>
whatever markdown you want

1. list item 1
2. list item 2

import platform