diff options
author | Patrick Steinhardt <psteinhardt@gitlab.com> | 2021-03-10 13:11:15 +0300 |
---|---|---|
committer | Patrick Steinhardt <psteinhardt@gitlab.com> | 2021-03-11 13:33:43 +0300 |
commit | 069b7c67e78796f6b0dfac0e5180f76b59dee45e (patch) | |
tree | e4a2860eacfa2745db1630104c92cd291a132585 /Makefile | |
parent | 5379be27793df28194af2b6d107efd59c3cb7974 (diff) |
Makefile: Fix benchmarking repository's URL
The benchmarking repository is supposed to be a not-so-small repository
where it's possible to perform reasonable measurements without
operations concluding too quickly. By accident, it is currently pointing
to the `gitlab-org/gitlab-git.git` repository though, which is a
comparatively small repository. The intent was to have it point to the
GitLab repository though, which is `gitlab-org/gitlab.git`.
Fix the URL to point to the correct repository.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -513,4 +513,4 @@ ${TEST_REPO_GIT}: ${GIT} -C $@ fsck --no-progress ${BENCHMARK_REPO}: - ${GIT} clone --bare ${GIT_QUIET} https://gitlab.com/gitlab-org/gitlab-git.git $@ + ${GIT} clone --bare ${GIT_QUIET} https://gitlab.com/gitlab-org/gitlab.git $@ |