[static-web] Standardize directory names for cgit

[Andrea Veri <av src gnome org>]

commit d317a326e67dfa6fca9dc10aaa191b5f083170f2
Author: Andrea Veri <averi redhat com>
Date:   Fri Jan 5 12:50:17 2018 +0100

    Standardize directory names for cgit

 .../applications-development.png                   |  Bin 2174 -> 2174 bytes
 {git.gnome.org => cgit}/cgit-gnome.css             |    0
 {git.gnome.org => cgit}/cgit.css                   |    0
 {git.gnome.org => cgit/git.gnome.org}/gnome.header |    0
 {git.gnome.org => cgit}/gnome.footer               |    0
 {git.gnome.org => cgit}/gnome.head                 |    0
 {git.gnome.org => cgit}/robots.txt                 |    0
 infrastructure.gnome.org/gnome.footer              |  123 --------------------
 infrastructure.gnome.org/gnome.header              |   32 -----
 9 files changed, 0 insertions(+), 155 deletions(-)
---
diff --git a/git.gnome.org/cgit-gnome.css b/cgit/cgit-gnome.css
similarity index 100%
rename from git.gnome.org/cgit-gnome.css
rename to cgit/cgit-gnome.css
diff --git a/git.gnome.org/cgit.css b/cgit/cgit.css
similarity index 100%
rename from git.gnome.org/cgit.css
rename to cgit/cgit.css
diff --git a/git.gnome.org/gnome.header b/cgit/git.gnome.org/gnome.header
similarity index 100%
rename from git.gnome.org/gnome.header
rename to cgit/git.gnome.org/gnome.header
diff --git a/git.gnome.org/gnome.footer b/cgit/gnome.footer
similarity index 100%
rename from git.gnome.org/gnome.footer
rename to cgit/gnome.footer
diff --git a/git.gnome.org/gnome.head b/cgit/gnome.head
similarity index 100%
rename from git.gnome.org/gnome.head
rename to cgit/gnome.head
diff --git a/git.gnome.org/robots.txt b/cgit/robots.txt
similarity index 100%
rename from git.gnome.org/robots.txt
rename to cgit/robots.txt