{subsection: build_workspace.bat}
-This script copies a SHA from the current git repository to submit-3.batlab.org and submits it as a workspace build.  This script depends on a shell script in ~johnkn/workspace on submit-3. arguments are:
+This script copies a SHA from the current git repository to batlab.chtc.wisc.edu and submits it as a workspace build.  This script depends on a shell script in ~johnkn/workspace on batlab.chtc.wisc.edu. arguments are:
 
 *: =index | <SHA1>=  The commit to build, "index" means use the SHA from git write-tree
 *: =<description>= (optional) Description for the workspace build
-*: =all | win | win+ | warn= (optional), passed on to submit_workspace script on submit-3 as the platform arguments
+*: =all | win | win+ | warn= (optional), passed on to submit_workspace script on batlab.chtc.wisc.edu as the platform arguments
 
 {file: build_workspace.bat}
 @echo off
@@ -431,7 +431,7 @@
    )
 )
 
-set submit=submit-3.batlab.org
+set submit=batlab.chtc.wisc.edu
 set tar=git archive %sha%
 set platforms=all