make a category (other than Attic) for migrated projects

howto/git.md

@@ -305,14 +305,14 @@ See [issue tpo/tpa/team#41181](https://gitlab.torproject.org/tpo/tpa/team/-/issu
 
         fab -H cupani.torproject.org gitolite.migrate-repo pluggable-transports/goptlib tpo/anti-censorship/pluggable-transports/goptlib --issue-url=https://gitlab.torproject.org/tpo/tpa/team/-/issues/41182
 
- 4. in Gitolite, make the project part of the "Attic", for example
+ 4. in Gitolite, mark the project as "Migrated to GitLab", for example
 
         @@ -715,7 +715,7 @@ repo debian/goptlib
              config hooks.irc-enabled                 = true
              config hooks.ircproject                  = or
              config hooks.projectname                 = debian-goptlib
         -    config gitweb.category                   = Packaging
-        +    config gitweb.category                   = Attic
+        +    config gitweb.category                   = Migrated to GitLab
          debian/goptlib "The Tor Project" = "Debian packaging for the goptlib pluggable transport library"
          
          repo debian/torproject-keyring