1# Env variables and functions for updating git repos
3export GIT_COMMITTER_NAME="IOHK"
4export GIT_COMMITTER_EMAIL="devops+nix-tools@iohk.io"
5export GIT_AUTHOR_NAME="$GIT_COMMITTER_NAME"
6export GIT_AUTHOR_EMAIL="$GIT_COMMITTER_EMAIL"
12 echo "Authenticating using SSH with $sshkey"
13 export GIT_SSH_COMMAND="ssh -i $sshkey -F /dev/null"
15 echo "There is no SSH key at $sshkey"
16 echo "Git push may not work."
21 if git diff-index --cached --quiet HEAD --; then
22 echo "No changes to commit, exiting."
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list