howto/git.md

@@ -305,6 +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
 
+ 5. in Puppet, add a line for this project in
+    `modules/profile/files/git/gitolite2gitlab.txt` (in
+    `tor-puppet.git`), for example:
+    
+        pluggable-transports/goptlib tpo/anti-censorship/pluggable-transports/goptlib
+
+    the Fabric task should already have done this for you.
+
  4. in Gitolite, mark the project as "Migrated to GitLab", for example
 
         @@ -715,7 +715,7 @@ repo debian/goptlib
@@ -317,12 +325,6 @@ See [issue tpo/tpa/team#41181](https://gitlab.torproject.org/tpo/tpa/team/-/issu
          
          repo debian/torproject-keyring
 
- 5. in Puppet, add a line for this project in
-    `modules/profile/files/git/gitolite2gitlab.txt` (in
-    `tor-puppet.git`), for example:
-    
-        pluggable-transports/goptlib tpo/anti-censorship/pluggable-transports/goptlib
-
 ### Mirroring a gitolite repository to GitLab
 
 This procedure is DEPRECATED. Instead, consider [migrating the