pushd is a bashism!!!! we require bash! not sh!
allowing anonymous git clone