diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-06-16 12:08:27 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-06-16 12:08:27 +0300 |
commit | 6cf1f4c521a621fa2b4dc1735bf5a8c2846f7e6a (patch) | |
tree | 38552a384dea3be946ed69cb395b52cdde52f85d /.markdownlint.json | |
parent | 36c3f8296f0309642d3b41b7d0e0333e50ac75a6 (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to '.markdownlint.json')
-rw-r--r-- | .markdownlint.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.markdownlint.json b/.markdownlint.json index 64c5d959583..b4da68989f3 100644 --- a/.markdownlint.json +++ b/.markdownlint.json @@ -103,6 +103,7 @@ "OpenShift", "PgBouncer", "PostgreSQL", + "Praefect", "Prometheus", "Puma", "puma-worker-killer", |