Remove unnecsseary lines #6
Description
Need to remove:
Need to ensure that the KNOWN_HOSTS file is inside $GITHUB_WORKSPACE.
# Setting these options because of ssh-issues in GH actions.
# Should not be needed in future, hopefully :fingers-crossed:
sshOptions:
UserKnownHostsFile: /dev/null
StrictHostKeyChecking: no