Skip to content

fix: rename proxy roles

Bo-Chun Chen requested to merge github/fork/diedpigs/fix-proxy-role-name into dev

Rename the roles

  • sshpiper -> ssh_proxy
  • ood_proxy -> http_proxy

Merge request reports