Address #269: Avoid using git accounts.

Created by: garloff

When making the git repo configurable that the automation in the cluster management hosts comes from (#266), we detected the existing git repo and pass it down from the Makefile.

However, for developers, there is a significant likelihood that they are using a clone checked out with their account git@github.com. This will not work on the management host, as the account is not deployed there.

So translate this to an anonymous https:// URL before passing down.

Signed-off-by: Kurt Garloff kurt@garloff.de