[gimp-web] devel-docs: mirror additions done on a new repo.

[Jehan <jehanp src gnome org>]

commit 8b5151538ef18f9ede9bd719d1d9241f463722bc
Author: Jehan <jehan girinstud io>
Date:   Tue Aug 30 18:27:41 2022 +0200

    devel-docs: mirror additions done on a new repo.
    
    av told me on IRC to now make MRs against this file:
    https://gitlab.gnome.org/Infrastructure/ansible/-/blob/master/roles/ftpadmin/files/rsyncd.conf
    
    Puppet is not in used anymore on master.gnome.org and is actually about
    to be fully decommissioned.

 devel-docs/mirror-howto.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/devel-docs/mirror-howto.md b/devel-docs/mirror-howto.md
index 6ca3756a..e50ab0bd 100644
--- a/devel-docs/mirror-howto.md
+++ b/devel-docs/mirror-howto.md
@@ -76,9 +76,9 @@ instance @Jehan can take care of part of the actions:
    Gitlab report link).
    [*requires to be in proper admin group*]
 5. Once this is done, edit
-   
[/etc/rsyncd.conf](https://gitlab.gnome.org/Infrastructure/puppet/-/blob/master/modules/ftpadmin/files/rsyncd.conf)
+   
[/etc/rsyncd.conf](https://gitlab.gnome.org/Infrastructure/ansible/-/blob/master/roles/ftpadmin/files/rsyncd.conf)
    by creating a Merge Request to
-   [Infrastructure/puppet](https://gitlab.gnome.org/Infrastructure/puppet)
+   [Infrastructure/ansible](https://gitlab.gnome.org/Infrastructure/ansible/)
    (not editing it directly on the server, unlike 3.).
 6. Then once the MR is merged, ask the mirror admin for their public GPG
    key.