Closed mia-pi-git closed 1 month ago
Discussed in #admin.
so yeah feel free to merge whenever, honestly if we're gonna do a temp server this isn't super urgent, but if OVH provisions the server for us for real go ahead and merge
Discussed in #admin.