diff options
author | John Cai <jcai@gitlab.com> | 2022-10-21 15:38:42 +0300 |
---|---|---|
committer | John Cai <jcai@gitlab.com> | 2022-10-21 15:38:42 +0300 |
commit | 1751c8d22d795af285d2d850fe8fa71dc6dbc80d (patch) | |
tree | aba6d848185873a9e6627e85f8d701d274daf280 /Makefile | |
parent | 96269fad786badf28b80b74e66457ae1a1a95210 (diff) | |
parent | d1354c4ccff2141d302e387b283509e843eddee6 (diff) |
Merge branch 'jc-use-gitlab-org/git' into 'master'
Makefile: Build git with gitlab-org/git
See merge request https://gitlab.com/gitlab-org/gitaly/-/merge_requests/4939
Merged-by: John Cai <jcai@gitlab.com>
Approved-by: Toon Claes <toon@gitlab.com>
Approved-by: Christian Couder <chriscool@tuxfamily.org>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -112,7 +112,7 @@ ifeq ($(origin PROTOC_BUILD_OPTIONS),undefined) endif # Git target -GIT_REPO_URL ?= https://gitlab.com/gitlab-org/gitlab-git.git +GIT_REPO_URL ?= https://gitlab.com/gitlab-org/git.git GIT_QUIET := ifeq (${Q},@) GIT_QUIET = --quiet |