chore(dogfood): remove `agent_name` from jetbrains-ide module

This is no more needed.
Depends on https://github.com/coder/modules/pull/99
This commit is contained in:
Muhammad Atif Ali 2023-12-08 02:34:21 +03:00 committed by GitHub
parent ce49a55f56
commit be31b2e4d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions

View File

@ -103,7 +103,6 @@ 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"