--- title: Repository --- We develop our software collaboratively, and all code is available in Github in so-called repositories. One repository bundles a bunch of things that belong together. Think of it as a project.