@@ -19,27 +19,19 @@ in
1919
2020 ${script}
2121
22+ source ${./git.env}
23+
2224 echo "Committing changes..."
23− export GIT_COMMITTER_NAME="IOHK"
24− export GIT_COMMITTER_EMAIL="devops+nix-tools@iohk.io"
25− export GIT_AUTHOR_NAME="$GIT_COMMITTER_NAME"
26− export GIT_AUTHOR_EMAIL="$GIT_COMMITTER_EMAIL"
2725 git add .
28− git commit --allow-empty --message "Automatic update for $(date)"
29−
30− rev=$(git rev-parse HEAD)
26+ check_staged
27+ git commit --message "Automatic update for $(date)"
3128
32− if [ -e ${sshKey} ]
33− then
34− echo "Authenticating using SSH with ${sshKey}"
35− export GIT_SSH_COMMAND="ssh -i ${sshKey} -F /dev/null"
36− else
37− echo "There is no SSH key at ${sshKey}"
38− echo "Git push may not work."
39− fi
29+ use_ssh_key ${sshKey}
4030
4131 git push ${repoSSH}
4232
33+ rev=$(git rev-parse HEAD)
34+
4335 cd ..
4436
4537 nix-prefetch-git ${repoHTTPS} --rev "$rev" | tee ${name}-src.json