Use GitHub

According to , 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.