Merge branch 'rc-1.0.0' into 'develop'

Rc 1.0.0

See merge request !5
4 jobs for rc-1.0.1 in 2 minutes and 42 seconds (queued for 3 seconds)
Name Stage Failure
deploy_for_testing Deploy
Reading state information...
dput is already the newest version (0.12.1).
ssh is already the newest version (1:7.4p1-10+deb9u4).
0 upgraded, 0 newly installed, 0 to remove and 31 not upgraded.
Agent pid 203
Enter passphrase for /dev/fd/63: Deploy job name: deploy_for_testing
Warning: Permanently added ',' (ECDSA) to the list of known hosts.
Permission denied (publickey).
ERROR: Job failed: exit code 1