diff options
author | John Cai <jcai@gitlab.com> | 2019-02-28 02:16:41 +0300 |
---|---|---|
committer | John Cai <jcai@gitlab.com> | 2019-02-28 02:16:41 +0300 |
commit | e0a71e731ac78b5be8392f0c742798813b2d7bf3 (patch) | |
tree | 4d9f4ed98ca75c50ae80e5bc8462f49b8ce4e8ef /.gitignore | |
parent | d92c70a3e87a9fabccdbff5e88548b62e4f77efb (diff) | |
parent | 8bee5c8a89ff215075608ea98135ffc4305e46bd (diff) |
Merge branch 'zj-praefect' into 'master'
Create Praefect binary for proxy server execution
Closes #1483
See merge request gitlab-org/gitaly!1068
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index eff022ea3..08ae671a8 100644 --- a/.gitignore +++ b/.gitignore @@ -16,3 +16,4 @@ cmd/gitaly-ssh/gitaly-ssh *.socket git-env /gitaly-debug +/praefect |