doc: Update various puppet-03 references to puppet-04

Author: supertassu

bin/octodiff-docker.sh

@@ -15,7 +15,7 @@ g10k -puppetfile -quiet -cachedir=/infrastructure-puppet/vendor_modules/.g10kcac
 echo && \
 read -p \"PuppetDB Username: \" username && \
 read -p \"PuppetDB Password: \" -s password && \
-export PUPPETDB_URL=\"https://\$username:\$password@puppet-03.ops.jquery.net:8100/\" && \
+export PUPPETDB_URL=\"https://\$username:\$password@puppet-04.ops.jquery.net:8100/\" && \
 echo -e \"\nThe octocatalog-diff command is now ready for use!\n\" && \
 /bin/bash;"
 

doc/access.md

@@ -33,7 +33,7 @@ it.
 A [list] of all the host keys is also published, if you want tab
 completion.
 
-[list]: https://puppet-03.ops.jquery.net/known_hosts
+[list]: https://4.ops.jquery.net/known_hosts
 
 ## SSH configuration
 

doc/puppet.md

@@ -203,7 +203,7 @@ Alternatively, you can install octocatalog-diff yourself:
   ```
 * Provide your username and passwowrd via the environment:
   ```shell
-  export PUPPETDB_URL="https://username:password@puppet-03.ops.jquery.net:8100/"
+  export PUPPETDB_URL="https://username:password@puppet-04.ops.jquery.net:8100/"
   ```
 * Then, run `g10k` once on the jquery/infrastructure-puppet directory, and
   then you can use the`octocatalog-diff` command like above.