diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2019-06-15 23:48:59 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-06-18 16:14:56 +0300 |
commit | 35b19af5bb585276821dc17f0f487d6cd2ece598 (patch) | |
tree | 60fcadcaf5c68da13f326f783c94fcf63a197513 /doc/cli.sh | |
parent | 5598e284b9337872608d478854643f12d1d34751 (diff) |
Fix failure to fetch git repository location with tagged commit id for git 2.22
Also make some cleanups (always probe URLs prior to git-ls-remote, use peeled
reference ids to identify repository fragments, etc).
Diffstat (limited to 'doc/cli.sh')
0 files changed, 0 insertions, 0 deletions