git credential helper now included in the machine-setup.bash script that is formed via README.md