howto/git.md

@@ -240,6 +240,54 @@ Changes to most repositories are reported to:
 
  * Some repositories have a dedicated mailing list for commits at https://lists.torproject.org
 
+### Archiving a repository
+
+If a repository is not to be migrated or mirrored to GitLab (see
+below) but just archived, use the following procedure.
+
+ 4. make an (executable) `pre-receive` hook in `git-rw` with an exit
+    status of `1` warning about the new code location, example:
+
+        $ cat /srv/git.torproject.org/repositories/project/help/wiki.git/hooks/pre-receive 
+        #!/bin/sh
+
+        cat <<EOF
+        This repository has been archived and should not be used anymore.
+
+        See this issue for details:
+
+        https://gitlab.torproject.org/tpo/tpa/services/-/issues/TODO
+        EOF
+
+        exit 1
+
+ 4. in Gitolite, make the project part of the "Attic", for example
+
+        @@ -328,13 +328,13 @@ admin/trac/TracAccountManager "The Tor Project" = "Tor specific changes to Matth
+         
+         repo project/help/infra
+             RW+                                      = @torproject-admin
+        -    config gitweb.category                   = Infrastructure and Administration
+        -project/help/infra "The Tor Project" = "help.torproject.org infrastructure"
+        +    config gitweb.category                   = Attic
+        +project/help/infra "The Tor Project" = "help.torproject.org infrastructure (archived to GitLab: https://gitlab.torproject.org/tpo/tpa/wiki-infra-archive')"
+         
+         repo project/help/wiki
+             RW                                       = anarcat
+        -    config gitweb.category                   = Infrastructure and Administration
+        -project/help/wiki "The Tor Project" = "help.torproject.org content"
+        +    config gitweb.category                   = Attic
+        +project/help/wiki "The Tor Project" = "help.torproject.org content (archived to GitLab: https://gitlab.torproject.org/tpo/tpa/wiki-archive')"
+         
+         repo project/jenkins/jobs
+             RW                                       = @jenkins-admins
+
+The only downside with that approach is that a git clone will not warn
+about the project redirection, but I am not sure there's a way to fix
+that.
+
+See [issue 36][] for further discussion.
+
 ### How to migrate a Git repository from legacy to GitLab?
 
 Important: this policy is still being debated. It is not clear if any