Test pushing to testing & production

Add a comment to index.html, to test that pushing to the Git repositories will
automatically push to web servers