Simon Willison: TILs on github

Atom feed for github

github GitHub Pages: The Missing Manual - 2022-10-31

GitHub Pages is an excellent free hosting platform, but the documentation is missing out on some crucial details. …

github Clone, edit and push files that live in a Gist - 2022-09-08

GitHub Gists are full Git repositories, and can be cloned and pushed to. …

github Migrating a GitHub wiki from one repository to another - 2022-07-28

I figured out how to migrate a GitHub wiki (public or private) from one repository to another while preserving all history. …

github Reporting bugs in GitHub to GitHub - 2022-07-07

I found out today (via this post) about a dedicated interface for reporting bugs in GitHub to GitHub: …

github Setting up a custom subdomain for a GitHub Pages site - 2022-05-04

This is so much easier than I was expecting it to be. …

github Configuring Dependabot for a Python project with dependencies in setup.py - 2022-01-14

The Dependabot setup instructions don't explicitly mention projects which keep all of their dependency information in setup.py. …

github Transferring a GitHub issue from a private to a public repository - 2021-12-22

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. …

github Syntax highlighting Python console examples with GFM - 2021-01-18

It turns out GitHub Flavored Markdown can apply syntax highlighting to Python console examples, like this one: …

github Bulk fetching repository details with the GitHub GraphQL API - 2021-01-17

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. …

github Searching for repositories by topic using the GitHub GraphQL API - 2020-10-09

I wanted to use the GitHub GraphQL API to return all of the repositories on the https://github.com/topics/git-scraping page. …

github Paginating through the GitHub GraphQL API with Python - 2020-07-09

(See also Building a self-updating profile README for GitHub on my blog) …

github Accessing repository dependencies in the GitHub GraphQL API - 2020-04-30

Access to a Repositories Dependency Graph describes a preview API for accessing GitHub repository dependencies. …