6 Downloading files
Although the files may be browsable on the web interface, you might want to interact with them on your desktop, using one of your favorite programs.
It is possible to download files individually from the web interface.
Note that this “individual download” feature differs from what Git-people call “cloning of the repository”. Git-clone involves downloading of the whole repository, whereas this individual download concerns only with the current single file.