Configuring GitHub Codespaces using devcontainers
GitHub Codespaces provides full development environments in your browser, and is free to use with anyone with a GitHub account.
17 posts tagged “automation”.
GitHub Codespaces provides full development environments in your browser, and is free to use with anyone with a GitHub account.
I wanted to build a Twitter bot that would tweet Covid sewage graphs from this page every day. To do that, I needed the following four credentials for a new @covidsewage Twitter account.
I just spent way too long messing around with ChatGPT (transcript here) trying to figure this out. After much iteration, here's a recipe that works (mostly written by me at this point): The output…
I wanted to ensure that when this template repository was used to create a new repo that repo would have a specific set of labels.
Matt Holt asked: Is there a tool that uses the GitHub API to generate a doc with all release notes from a repo?
I wanted my datasette-plugin cookiecutter template to create empty and directories if the user replied to the and prompts.
https://www.w3.org/History/1991-WWW-NeXT/Implementation/ It's served up as a browseable Apache directory listing, but that's not the most delightful way to browse code - clicking a link to a file…
I'm trying a new thing: a private daily planner, where each day I note down my goals for the day and make notes on my progress towards them as the day progresses.
My simonwillisonblog-backup workflow periodically creates a JSON backup of my blog's PostgreSQL database, using db-to-sqlite and sqlite-diffable.
GitHub's Dependabot can automatically file PRs with bumps to dependencies when new versions of them are available.
This recipe runs a Python script to update a README, then commits it back to the parent repo but only if it has changed: My first attempt threw an error if I tried o run and the README had not…
I figured out a minimal pattern for building a completely custom website using GitHub Actions and deploying the result to GitHub Pages. First you need to enable GitHub Pages for the repository.
Twitter announced today that they'll be ending free API access for bots. My @covidsewage Twitter bot posts a screenshot of the latest Covid sewage data for parts of the San Francisco Bay Area every…
New feature announced here. Here's the full documentation. These are incredibly easy to use. GitHub creates a file in your workspace and puts the filename in , so you can build the summary markdown…
Newly created GitHub repositories come with a default set of labels. I have several labels I like to add on top of these.
I fixed two bugs in Datasette using - a tool which lets you run an automated binary search against a commit log to find the source of a bug.
Useful for seeing what's available for conditions (see context and expression syntax). I copied this example action from here and deployed it here. Here's an example run.