mongodb/docs — pull request #1222 by bgrabar (2013-08-30 21:21:04+00:00)
Title: DOCS-1871 use redirection to avoid downtime when move config server

For review and merge as step 1 in resolving DOCS-1871