We should maybe rename this workshop to "Shell and Git" or better, "Command line and git", as Bash is being replaced by zsh.