some servers don't support https. if you check for this before opening a PR, you will reduce the number of annoying PRs such as: * https://github.com/INRIA/spoon/pull/3243 * https://github.com/SpoonLabs/coming/pull/206