merge directions for cloning our git repositories over HTTPS