We use Git+GitHub to manage both the development of the software powering the [pi-Base community database of topological spaces](https://topology.pi-base.org/) and its [underlying dataset](https://github.com/pi-base/data).