[odrs-web] Revert "ServerName should be odrs-dev.g.o"

[Andrea Veri <averi src gnome org>]

commit 5660b9be255ac7f5ca362bc6f1ed64eec91b1983
Author: Andrea Veri <averi redhat com>
Date:   Wed Nov 14 15:09:34 2018 +0100

    Revert "ServerName should be odrs-dev.g.o"
    
    This reverts commit 090eacc827b65ff9cbb7d87269c7a3f4412e2b0f.

 odrs.gnome.org.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/odrs.gnome.org.conf b/odrs.gnome.org.conf
index d7376df..bd81e9c 100644
--- a/odrs.gnome.org.conf
+++ b/odrs.gnome.org.conf
@@ -1,5 +1,5 @@
 <VirtualHost *:8443>
-    ServerName  odrs-dev.gnome.org 
+    ServerName  odrs.gnome.org 
     DocumentRoot /opt/app-root/src
 
     SSLEngine on