#!/bin/bash

# prepare ssh key
tmp_key='ssh.key'
echo "$ssh_key" > $tmp_key;
chmod 700 $tmp_key;

# SSH and deploy
echo "Deploying to $ssh_user@$server_url:$git_path"
ssh -T $ssh_user@$server_url -i $tmp_key -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no <<EOF
cd $git_path;
git fetch origin;
git checkout $CI_COMMIT_SHA
EOF