bugfixes: - ansible-pull, restore other options to use as repo other than git.