## Some of the Required Infrastructure - A repository server which mirrors Debian repos and also serves our own custom packages- A git server to host code- A build server to run the builds for ISOs and packages. This should be continuously integrated with the git server. #### `1.Setting up the repository server` Setting up the repository server can be done in multiple ways. We are currently using reprepro for mirroring Debian Repos and to publish our own packages as well.