Kegsay bf7e85848b Rename serverkeyapi to signingkeyserver (#1492) ... * Rename serverkeyapi to signingkeyserver We use "api" for public facing stuff and "server" for internal stuff. As the server key API is internal only, we call it 'signing key server', which also clarifies the type of key (as opposed to TLS keys, E2E keys, etc) * Convert docker/scripts to use signing-key-server * Rename missed bits		2020-10-07 16:23:18 +01:00
..
create_db.sh	Rename serverkeyapi to signingkeyserver (#1492)	2020-10-07 16:23:18 +01:00