GitHub seems to no longer support //-links. They are replaced by explicit https:// ones.