GitHub Pages is an excellent free hosting platform, but the documentation is missing out on some crucial details. …
GitHub Gists are full Git repositories, and can be cloned and pushed to. …
I figured out how to migrate a GitHub wiki (public or private) from one repository to another while preserving all history. …
I found out today (via this post) about a dedicated interface for reporting bugs in GitHub to GitHub: …
This is so much easier than I was expecting it to be. …
The Dependabot setup instructions don't explicitly mention projects which keep all of their dependency information in setup.py. …
I have my own private notes repository where I sometimes create research threads. Occasionally I want to transfer these to a public repository to publish their contents. …
It turns out GitHub Flavored Markdown can apply syntax highlighting to Python console examples, like this one: …
I wanted to be able to fetch details of a list of different repositories from the GitHub GraphQL API by name in a single operation. …
I wanted to use the GitHub GraphQL API to return all of the repositories on the https://github.com/topics/git-scraping page. …
(See also Building a self-updating profile README for GitHub on my blog) …
Access to a Repositories Dependency Graph describes a preview API for accessing GitHub repository dependencies. …