Andrea Veri commented:
@Jehan, that's correct, we don't currently mirror anything under Infrastructure/* to GitHub, we can add support for that to happen if that's an hard requirement here. New projects under the GNOME group require additional approvals and Infrastructure is for any project related to the GNOME and GIMP Infrastructures (web servers, code, dockerfiles, OSCP templates that are used to build an infrastructure), @csoriano, what group should this repository go under? Community? World?