diff options
author | Vincent Ambo <mail@tazj.in> | 2021-11-29T16·06+0300 |
---|---|---|
committer | Vincent Ambo <mail@tazj.in> | 2021-12-02T10·10+0300 |
commit | e48ae26e8e8f82f58b30a232a8ea32accb4a8b82 (patch) | |
tree | 0d1adfe9a6f5922f2f74bb9d26ee299b7e91209d /third_party/immer/.gitmodules | |
parent | ee635d4645126d0821e75fe71b4e56ec7e119eaa (diff) |
feat(ops/besadii): Add other missing configuration keys r/3135
Adds configuration keys and rudimentary validation for all other besadii settings that are currently hardcoded. This adds the config options: * repository: Name of the repository in Gerrit. * branch: Name of the HEAD branch in the repository. * gerritUrl: Base URL of the Gerrit instance * gerritUser: Username of the Gerrit user * gerritPassword: Password of the Gerrit user * buildkiteOrg: Name of the Buildkite organisation * buildkiteProject: Name of the pipeline inside the Buildkite organisation * buildkiteToken: Auth token for Buildkite access All of these configuration options are required. Change-Id: Ie6b109de9cd8484a3773c6351d7fd140f39a49ed
Diffstat (limited to 'third_party/immer/.gitmodules')
0 files changed, 0 insertions, 0 deletions