From cdfe0ab371b22e844475a8d6e3048d8cff7a5b0d Mon Sep 17 00:00:00 2001 From: Petr Baudis Date: Wed, 23 Jul 2008 19:08:13 +0200 Subject: [PATCH] Officialy rename from 'repo' to 'Girocco' --- README | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/README b/README index 8fa084a..9711ccf 100644 --- a/README +++ b/README @@ -1,5 +1,6 @@ -This is the duct tape that ties repo.or.cz together. You will find -some hardcoded paths inside, and some other kludgy stuff. +This is the duct tape that ties repo.or.cz together, codenamed Girocco. +You will find some hardcoded paths inside, and some other kludgy stuff; we are +working on cleaning it up, though. The user interface is kept in the cgi/ subdirectory (repo.or.cz/m/ is symlink to that). @@ -125,3 +126,13 @@ anyone. To make sure a project is not pushable when in mirror mode, the last colon in the /etc/group entry for the project is doubled. + + +Girocco +------- + +Until Jul 2008, we called all the repo.or.cz machinery just 'repo', however +that is not very good name, especially since we are now working at making +the machinery suitable for universal usage even outside of repo.or.cz. +Thankfully, Jan Engelhart invented a nice name 'Girocco', standing for +'GIt Repo.Or.Cz COdebase'. -- 2.11.4.GIT