Skip to main content
  1. Decisions/

Use GitHub

·130 words·1 min
Agent IO
Author
Agent IO
Table of Contents
Use GitHub for source code management and a few lifecycle-related tasks.

According to https://api.github.com/users/timburks, I created my GitHub account on Feb 19, 2008. It’s been a good run, and despite recent changes and some things on the horizon, I don’t have strong reasons to leave yet.

Currently we use GitHub for storage of all internal and publicly-available source code. We are also lightly using GitHub actions for testing.

In June 2025, we began deemphasizing GitHub Container Registry and GitHub Action container builds to use DockerHub for container publishing.

Pros
#

  • It seems that everybody uses GitHub, or at least knows how to use it.
  • GitHub’s features are solid.

Cons
#

  • Microsoft is pushing code-generating LLMs that are trained on hosted content.
  • GitHub actions are slow and/or expensive. For infrequent container builds, it’s faster and cheaper to use personal hardware.

Comments
#