[gnome-build-meta.wiki] Update Infrastructure

[Abderrahim Kitouni <akitouni src gnome org>]

commit d594d627a41d518b833aaa214d8fe81e962be90d
Author: Abderrahim Kitouni <a kitouni gmail com>
Date:   Tue Mar 31 10:59:45 2020 +0000

    Update Infrastructure

 Infrastructure.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/Infrastructure.md b/Infrastructure.md
index f4f66f0..8171403 100644
--- a/Infrastructure.md
+++ b/Infrastructure.md
@@ -1,6 +1,6 @@
 | Machine | Pourpose | Location  | Architecture | Access | Comments |
 | ------ | ------ | ------ | ------ | ------ | ------ |
-| ip | gbm-builder: run flat-manager to push to flathub | GNOME | x86_64 | Infra team, abderrahim, jjardon, 
alatiera | |
+| gbm-builder.gnome.org | hosts nightly builds of flatpak runtimes and apps | GNOME | x86_64 | Infra team | |
 | 167.99.17.106 | remote cache server | GNOME DigitalOcean | x86_64 | jjardon, av | |
 | 147.75.194.17 | runner | packet.net | x86_64  | infra team, jjardon | m1.xlarge.x86 machine donated by 
https://packet.net |
 | 147.75.198.26 | runner | packet.net | aarch64 | infra team, jjardon | c1.large.arm machine donated by 
https://www.worksonarm.com/ |