Как заменить двойную косую черту в строке URL одинарной косой чертой в Python ⇐ Python

[Anonymous]

У меня есть URL-адрес, содержащий ошибочные двойные косые черты («//»), которые мне нужно преобразовать в одинарную косую черту. Излишне говорить, что я хочу оставить двойную косую черту после «https:» нетронутой.
Какой самый короткий код Python может внести это изменение в строку?

Я пытался использовать re.sub с регулярным выражением с отрицанием двоеточия (а именно, [^:](//)), но он хочет заменить все совпадение (включая предыдущий символ, не являющийся двоеточием), а не только двойную косую черту.
Может быть, мне следует просто превратить все двойные косые черты в одинарные, и затем преобразовать "https:/" в "https://" в конце?

Подробнее здесь: https://stackoverflow.com/questions/787 ... -in-python