[autotest] Add a new devserver to prod

A new devserver has been set up. Need to add to prod.

BUG=chromium:528478
TEST=Test with test_push with only this devserver

Change-Id: Ibc67bde28fff2068c8e35f02aa11fbb4f84c4e7d
Reviewed-on: https://chromium-review.googlesource.com/298120
Commit-Ready: Shuqian Zhao <shuqianz@chromium.org>
Tested-by: Shuqian Zhao <shuqianz@chromium.org>
Reviewed-by: Dan Shi <dshi@chromium.org>
diff --git a/global_config.ini b/global_config.ini
index ae7d5fd..90e64a4 100644
--- a/global_config.ini
+++ b/global_config.ini
@@ -231,7 +231,7 @@
 # `dev_server` and `crash_server` unless you're very temporarily pulling a
 # server out of rotation.
 dev_server_hosts: chromeos-devserver1, chromeos-devserver2, chromeos-devserver3, chromeos-devserver4, chromeos-devserver5, chromeos-devserver6, chromeos-devserver7, chromeos-crash1, chromeos2-devserver6, chromeos2-devserver7, chromeos2-devserver5
-dev_server: http://172.17.40.27:8082, http://100.107.160.1:8082, http://100.107.160.2:8082, http://172.17.40.17:8082, http://172.17.40.20:8082, http://172.17.40.19:8082, http://100.107.160.3:8082, http://100.107.160.4:8082, http://172.17.40.22:8082
+dev_server: http://172.17.40.27:8082, http://100.107.160.1:8082, http://100.107.160.2:8082, http://172.17.40.17:8082, http://172.17.40.20:8082, http://172.17.40.19:8082, http://100.107.160.3:8082, http://100.107.160.4:8082, http://172.17.40.22:8082, http://100.107.160.7:8082
 canary_channel_server: gs://chromeos-releases/canary-channel/
 # chromeos-crash1.cros
 crash_server: http://172.17.40.24:8082, http://100.107.160.5:8082, http://100.107.160.6:8082