Work around bug in git-parameter plugin

Git-parameter doesn't seem to work correctly with ssh urls, so use a
text parameter instead.

Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>
Change-Id: Ia5e66d98c08156b47f6a2abfea8fffc373db48bb
2 files changed