Simon Willison: TILs on github

github Publishing a Docker container for Microsoft Edit to the GitHub Container Registry - 2025-06-21

Microsoft recently released Edit, a new terminal text editor written in Rust. It's pretty nice - it's reminiscent of nano but with a retro MS DOS feel. …

github Assistance with release notes using GitHub Issues - 2024-08-05

I like to write the release notes for my projects by hand, but sometimes it can be useful to have some help along the way. …

github Running a Django and PostgreSQL development environment in GitHub Codespaces - 2023-08-10

Helping people setup development environments (and fix them when they break) can be incredibly frustrating. I'm really excited about cloud-based development environments such as GitHub Codespaces for exactly this reason - I love the idea that you can get a working environment by clicking a green button, and if it breaks you can throw it away and click the button again to get a brand new one. …

github Bulk editing status in GitHub Projects - 2023-06-29

GitHub Projects has a mechanism for bulk updating the status of items, but it's pretty difficult to figure out how to do it. …

github Finding uses of an API with the new GitHub Code Search - 2022-12-08

The GitHub Code Search beta is really powerful - it allows advanced search - including regular expression matches - against every public repo on 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 - 2022-01-14

GitHub's Dependabot can automatically file PRs with bumps to dependencies when new versions of them are available. …

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