git.darmstadt.ccc.de

Git (/ɡɪt/) is a version control system that is widely used for software development and other version control tasks. It is a distributed revision control system with an emphasis on speed, data integrity, and support for distributed, non-linear workflows. (https://en.wikipedia.org/wiki/Git_(software))