URL to Debian Release.key is wrong

[faho]

Describe the bug
The instructions to add a Debian repository have the wrong url to the release key.

Instead of e.g. https://download.opensuse.org/repositories/shells:/fish:/release:/3/Debian_10/Release.key they look like https://download.opensuse.org/repositories/shells:fish:release:3/Debian_10/Release.key - the "/" between "shells:" and "fish:" and "release:" are missing, causing it to 404.

The instructions look like

echo 'deb http://download.opensuse.org/repositories/shells:/fish:/release:/3/Debian_9.0/ /' | sudo tee /etc/apt/sources.list.d/shells:fish:release:3.list
curl -fsSL https://download.opensuse.org/repositories/shells:fish:release:3/Debian_9.0/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/shells_fish_release_3.gpg > /dev/null

The repository line is correct, the Release.key line isn't.

It seems this is caused by

software-o-o/app/views/download/package.erb

Line 64 in ce99b8e

"echo 'deb #{v[:repo].gsub(/(\w):(\w)/, '\1:/\2').gsub(/^https/, 'http')} /' | sudo tee /etc/apt/sources.list.d/#{@project}.list\ncurl -fsSL #{v[:repo]}Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/#{@project.gsub(':', '_')}.gpg > /dev/null\nsudo apt update\nsudo apt install #{@package}"

doing some replacement on the repo for the echo deb part, but not the later curl part.

To Reproduce
Steps to reproduce the behavior:

1. Go to 'https://software.opensuse.org/download.html?project=shells%3Afish%3Arelease%3A3&package=fish'
2. Click on 'Debian', then 'Add repository'
3. See error

Expected behavior
The link is correct.

Environment (please complete the following information):

• OS: N/A
• Browser Firefox
• Version 107

Additional context
N/A

[FWDekker]

I think this issue has since been fixed. Though the PR has not been merged and though the URLs has not changed, it looks like the link no longer 404s. Probably a back-end change?