that way pantsbuild.github.io will continue to work (with https) but the pantsbuild.org links will still work (with http)