Learn more about these different git repos.
Other Git URLs
5b06f78
Move deleting a project into its own task This way we can more easily update the gitolite.conf file, remove the git repos from the disk and finally the project from the DB. Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>