9th February 2024
TIL
Creating GitHub repository labels with an Actions workflow
— Newly created GitHub repositories come with a default set of labels. I have several labels I like to add on top of these. The most important is **research**, which I use for issues that are tracking my notes on a research topic relevant to the repository.
Recent articles
- Some thoughts on the Navier–Stokes Millennium Prize Problem - 8th September 2026
- The Pelican comparison grid for Astra is pretty interesting - 4th September 2026
- OpenAI's rogue agents were caught communicating via public wikis - 4th September 2026