This commit no longer exists in the repository. It may have been part of a branch which was deleted.This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.
Description
docker: Install required ssh/config so migration can push to gitlab
This deactivates the known host check and writing to the ~/.ssh/known_hosts file to
avoid out of sync issues (when the gitlab state is reset once in a while).