Skip to content
Snippets Groups Projects
Commit 4822c855 authored by Prada Sarasola, Miguel's avatar Prada Sarasola, Miguel
Browse files

Retrieve ROS repository GPG keys through port 80

Default port for hkp service is blocked by our firewall and trying this adds
around 2 minutes per job until a timeout is triggered and the alternate method
of retrieving the key using wget is used.
parent 336111da
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment