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 /tests/publish | |
| 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 'tests/publish')
| -rwxr-xr-x | tests/publish | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/publish b/tests/publish index df355eb..bd1f327 100755 --- a/tests/publish +++ b/tests/publish @@ -60,7 +60,7 @@ for r in $(find test -type d -regex '.*/git/.*/[^/]+\.git'); do # Push local branches and tags to the remote repository, if it exists. # - if git ls-remote "$url" 2>/dev/null >&2; then + if git ls-remote --refs "$url" 2>/dev/null >&2; then # Point the bare repository origin to the remote repository. # git -C $br config remote.origin.url "$url" |