revert: "chore(dogfood): remove `agent_name` from jetbrains-ide module" (#11095)

This commit is contained in:
Muhammad Atif Ali 2023-12-08 04:14:37 +03:00 committed by GitHub
parent e73a202aed
commit f0969f99ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -103,6 +103,7 @@ module "code-server" {
module "jetbrains_gateway" {
source = "https://registry.coder.com/modules/jetbrains-gateway"
agent_id = coder_agent.dev.id
agent_name = "dev"
folder = local.repo_dir
jetbrains_ides = ["GO", "WS"]
default = "GO"