diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2021-01-07 05:56:34 +0100 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2021-01-07 06:04:31 +0100 |
| commit | 17663b6a7c505226cfe9ccc0671611075a3dff57 (patch) | |
| tree | 45bff7762a01dad8ddcca0826d71bc3083e6137a /.gitlab-ci.yml | |
| parent | 2a8cc7259e236773f1b8423ef63305a5b8bfd652 (diff) | |
RPKI: Remove port (and SSH username) from 'Cache server' output line
It was mixed-up if hostname is IPv6 address, and reporting separate
values (like port) on separate lines fits better into key-value style
of 'show protocols all' output. Also, the patch simplifies transport
identification formatting (although it is unused now).
Thanks to Alarig Le Lay for the suggestion.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions