merge any number of slashes

merge any number of slashes: a task in repo2rlenv-pr-diff (Harbor dataset). Title: merge any number of slashes