Merge branch 'main' into fix/github-merge-require-linear-history

runatlantis · Mar 17, 2023 · c019d8b · c019d8b
2 parents c014eb3 + efc9edb
commit c019d8b
Show file tree

Hide file tree

Showing 2 changed files with 240 additions and 387 deletions.
diff --git a/runatlantis.io/docs/server-configuration.md b/runatlantis.io/docs/server-configuration.md
@@ -895,7 +895,7 @@ This is useful when you have many projects and want to keep the pull request cle
   ```
   Namespace for emitting stats/metrics. See [stats](stats.html) section.
 
-### `--tf--download`
+### `--tf-download`
   ```bash
   atlantis server --tf-download=false
   # or