This way we can have a task to immediately destroy a repo, and it
clarifies what the task does.

We want an "immediate" job because we do want to trash some repos and
there might be some checks to do then.

howto/git.md

@@ -443,13 +443,12 @@ To destroy a repository:
  3. install a redirection and schedule destruction of the repository,
     with the command:
 
-        fab -H cupani.torproject.org gitolite.destroy-repo --issue-url=$URL $REPOSITORY
+        fab -H cupani.torproject.org gitolite.destroy-repo-scheduled --issue-url=$URL $REPOSITORY
 
     for example, this is how the `user/nickm/githax` repository was
     disabled and scheduled for destruction:
 
-        anarcat@angela:fabric-tasks$ fab -H cupani.torproject.org gitolite.destro
-        y-repo --issue-url=https://gitlab.torproject.org/tpo/tpa/team/-/issues/41219 admin/tor-virt.git
+        anarcat@angela:fabric-tasks$ fab -H cupani.torproject.org gitolite.destroy-repo-scheduled --issue-url=https://gitlab.torproject.org/tpo/tpa/team/-/issues/41219 admin/tor-virt.git
         INFO: preparing destroying of Gitolite repository admin/tor-virt in /srv/git.torproject.org/repositories/admin/tor-virt.git
         INFO: uploading 468 bytes to /srv/git.torproject.org/repositories/admin/tor-virt.git/hooks/pre-receive
         INFO: making /srv/git.torproject.org/repositories/admin/tor-virt.git/hooks/pre-receive executable