Partitioning GitHub’s relational databases to handle scale

In 2019, to meet GitHub's growth and availability challenges, we set a plan in motion to improve our tooling and ability to partition relational databases.