commit | 52b7d45937554d50cc7094649363a4a972a63ab6 | [log] [tgz] |
---|---|---|
author | Bence Szépkúti <bence.szepkuti@arm.com> | Thu Sep 12 18:04:12 2024 +0200 |
committer | Bence Szépkúti <bence.szepkuti@arm.com> | Thu Sep 12 18:13:44 2024 +0200 |
tree | 158be2c27374dd3c9d2874ec830f55b2911d57db | |
parent | d92317421c9ef9be737b3cf49e90c3e0164ed621 [diff] |
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