Migrate dir-auth config repository

When pushing to our dir-auth repository we get the following warning:

remote: ======================================================================
remote: == WARNING! WARNING! WARNING!  WARNING! WARNING! WARNING!  WARNING! ==
remote: ======================================================================
remote: 
remote: This server is DEPRECATED and will be fully retired in June 2024!
remote: 
remote: Please migrate your repositories to GitLab before December 2023, otherwise they
remote: will be archived to GitLab by TPA.
remote: 
remote: See TPA-RFC-36 for more information:
remote: 
remote:   https://gitlab.torproject.org/tpo/tpa/team/-/wikis/policy/tpa-rfc-36-gitolite-gitweb-retirement
remote: 
remote: ======================================================================
remote: == WARNING! WARNING! WARNING!  WARNING! WARNING! WARNING!  WARNING! ==
remote: ======================================================================

So, we need to come up with a migration plan. I guess this will be a private project in network-health land? What do you think @arma?